# Formal verification of neural network controlled autonomous systems

> Research article (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019) · cited 137× · AI/ML

**Wikidata**: [openalex:W2899116309](https://www.wikidata.org/wiki/openalex:W2899116309)  
**Source**: https://4ort.xyz/entity/formal-verification-of-neural-network-controlled-autonomous-systems