Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles
Shengduo Chen,Yaowei Sun,Dachuan Li,Qiang Wang,Qi Hao,Joseph Sifakis,Shengduo Chen,Yaowei Sun,Dachuan Li,Qiang Wang,Qi Hao,Joseph Sifakis
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-Drive consists of an unverified Deep Reinforcement Learning (DRL)-based advanced controller (AC) that a...
