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

Overview

Simplex-Drive combines a DRL controller, a velocity-obstacle safety controller, and verified mode management. Formal reasoning about switching and dense-traffic lane-change simulations evaluate runtime assurance when the learned policy departs from safe operation.