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

Shengduo Chen, Yaowei Sun, Dachuan Li +3

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 frame…