# Verifying the Safety of Autonomous Systems with Neural Network Controllers

> Research article (ACM Transactions on Embedded Computing Systems, 2020) · cited 49× · AI/ML

**Wikidata**: [openalex:W3113369941](https://www.wikidata.org/wiki/openalex:W3113369941)  
**Source**: https://4ort.xyz/entity/verifying-the-safety-of-autonomous-systems-with-neural-network-controllers