# Synthesis of correct-by-construction behavior trees

> Research article (2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017) · cited 42× · AI/ML

**Wikidata**: [openalex:W2771357155](https://www.wikidata.org/wiki/openalex:W2771357155)  
**Source**: https://4ort.xyz/entity/synthesis-of-correct-by-construction-behavior-trees