# POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems

> Research article (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023) · cited 13× · AI/ML

**Wikidata**: [openalex:W4388505288](https://www.wikidata.org/wiki/openalex:W4388505288)  
**Source**: https://4ort.xyz/entity/polar-express-efficient-and-precise-formal-reachability-analysis-of-neural-network-controlled-systems