@misc{indiciae037a69cb1651,
  title = {Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles},
  author = {Shengduo Chen and Yaowei Sun and Dachuan Li and Qiang Wang and Qi Hao and Joseph Sifakis},
  year = {2021},
  url = {https://arxiv.org/abs/2109.13446},
  note = {Source identifier: 2109.13446}
}