@article{closedloopanalysisofvisionbased,
  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},
  eprint = {2302.04634},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2302.04634v1},
}