TY  - RPRT
TI  - Bayesian Learning for the Robust Verification of Autonomous Robots
AU  - Xingyu Zhao
AU  - Simos Gerasimou
AU  - Radu Calinescu
AU  - Calum Imrie
AU  - Valentin Robu
AU  - David Flynn
PY  - 2023
UR  - https://arxiv.org/abs/2303.08476
ID  - 2303.08476
ER  -