@misc{indiciae6b4e8776f8f2,
  title = {Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults},
  author = {Ayoosh Bansal and Hunmin Kim and Simon Yu and Bo Li and Naira Hovakimyan and Marco Caccamo and Lui Sha},
  year = {2023},
  doi = {10.1002/stvr.1879},
  url = {https://arxiv.org/abs/2209.01710},
  note = {Source identifier: 2209.01710}
}