Search Results for author:
Found 3 papers, 1 papers with code
Bayesian Learning for the Robust Verification of Autonomous Robots
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
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
We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
