# PuRSUE -from specification of robotic environments to synthesis of controllers

> Research article (Formal Aspects of Computing, 2020) · cited 20× · AI/ML

**Wikidata**: [openalex:W3012575488](https://www.wikidata.org/wiki/openalex:W3012575488)  
**Source**: https://4ort.xyz/entity/pursue-from-specification-of-robotic-environments-to-synthesis-of-controllers