Reachability Analysis of Neural Network Controlled Systems: A Mixed Monotone Contracting Approach
b'Saber Jafarpour speaking at the BIRS workshop 23w5139: Geometry, Topology and Control System Design (Jun 11 - Jun 16). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'