|
[PMG+23]
Corina S. Păsăreanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu and Huafeng Yu.
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study.
In Proc. Computer Aided Verification (CAV'23).
2023.
[Formally analyses closed-loop autonomous systems using probabilistic abstractions of neural net perception components, solved using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|