@misc{indiciaef4acb2461b56,
  title = {Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles},
  author = {Daniel Jackson and Valerie Richmond and Mike Wang and Jeff Chow and Uriel Guajardo and Soonho Kong and Sergio Campos and Geoffrey Litt and Nikos Arechiga},
  year = {2021},
  url = {https://arxiv.org/abs/2104.06178},
  note = {Source identifier: 2104.06178}
}