Last released Mar 16, 2026
Ellipsoidal calculus and reachability analysis for linear dynamical systems
Supported by