Alert button
Picture for Sinem Getir Yaman

Sinem Getir Yaman

Alert button

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

Feb 06, 2023
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Figure 1 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 2 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 3 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 4 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Viaarxiv icon