TY - RPRT TI - Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles AU - Shengduo Chen AU - Yaowei Sun AU - Dachuan Li AU - Qiang Wang AU - Qi Hao AU - Joseph Sifakis PY - 2021 UR - https://arxiv.org/abs/2109.13446 ID - 2109.13446 ER -