# Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software

> Research article (Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016) · cited 14× · AI/ML

**Wikidata**: [openalex:W2342314656](https://www.wikidata.org/wiki/openalex:W2342314656)  
**Source**: https://4ort.xyz/entity/symbolic-numeric-reachability-analysis-of-closed-loop-control-software