# Verification of Closed-loop Systems with Neural Network Controllers

> Research article (EPiC series in computing, 2019) · cited 18× · AI/ML

**Wikidata**: [openalex:W2964079458](https://www.wikidata.org/wiki/openalex:W2964079458)  
**Source**: https://4ort.xyz/entity/verification-of-closed-loop-systems-with-neural-network-controllers