13 citations · 20 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.RO2023
Bayesian Learning for the Robust Verification of Autonomous Robots
Xingyu Zhao, Simos Gerasimou, Radu Calinescu +3
Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments. As such, they must continually verify the…
cs.CV2023★ 3 cited
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath +4
Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these sy…