3 citations · 14 across the 23 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 1 cited
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.…
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…