Versig: Verified Safety of Autonomous Systems

Faculty: Rajeev Alur, Insup Lee, and George Pappas

Opportunity: Design a controller mapping raw sensory data to control actions by training a neural network based on simulation data.


Challenge: How to verify absence of collisions for all possible initial conditions and errors in measurements giving worst-case safety guarantees?