Search Results for author: Calum Imrie

Found 3 papers, 1 papers with code

Bayesian Learning for the Robust Verification of Autonomous Robots

1 code implementation15 Mar 2023 Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments.

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

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

We address the above challenges by replacing the camera and the network with a compact probabilistic abstraction built from the confusion matrices computed for the DNN on a representative image data set.

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

no code implementations7 Feb 2022 Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina Păsăreanu, Misael Alpizar Santana, Gricel Vázquez

We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.

Autonomous Driving Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.