Joseph Sifakis

Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles

Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a framework that can achieve runtime safety assurance for machine-learning enabled controllers of AVs. The proposed Simplex-Dri…