# Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets

> Research article (IEEE Transactions on Automatic Control, 2023) · cited 13× · AI/ML

**Wikidata**: [openalex:W4383112775](https://www.wikidata.org/wiki/openalex:W4383112775)  
**Source**: https://4ort.xyz/entity/fully-automated-verification-of-linear-systems-using-inner-and-outer-approximations-of-reachable-sets