87 citations · 294 across the 41 of their papers we have counts for
5 papers · 1 filter
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation
Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya +2
The superior performance of object detectors is often established under the condition that the test samples are in the same distribution as the training data. However, in many prac…
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction
Daniel Bethell, Simos Gerasimou, Radu Calinescu
Deploying deep learning models in safety-critical applications remains a very challenging task, mandating the provision of assurances for the dependable operation of these models.…
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
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…
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…