# Automated formal synthesis of provably safe digital controllers for continuous plants

> Research article (Acta Informatica, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2981603309](https://www.wikidata.org/wiki/openalex:W2981603309)  
**Source**: https://4ort.xyz/entity/automated-formal-synthesis-of-provably-safe-digital-controllers-for-continuous-plants