@misc{indiciae4952713c02f2,
  title = {Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study},
  author = {Corina S. Pasareanu and Ravi Mangal and Divya Gopinath and Sinem Getir Yaman and Calum Imrie and Radu Calinescu and Huafeng Yu},
  year = {2023},
  url = {https://arxiv.org/abs/2302.04634},
  note = {Source identifier: 2302.04634}
}