# Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors

> Research article (The International Journal of Robotics Research, 2015) · cited 27× · AI/ML

**Wikidata**: [openalex:W2083802276](https://www.wikidata.org/wiki/openalex:W2083802276)  
**Source**: https://4ort.xyz/entity/synthesis-of-nonlinear-continuous-controllers-for-verifiably-correct-high-level-reactive-behaviors