TY  - RPRT
TI  - Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
AU  - Corina S. Pasareanu
AU  - Ravi Mangal
AU  - Divya Gopinath
AU  - Sinem Getir Yaman
AU  - Calum Imrie
AU  - Radu Calinescu
AU  - Huafeng Yu
PY  - 2023
UR  - https://arxiv.org/abs/2302.04634
ID  - 2302.04634
ER  -