Up a level |
Number of items: 1.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Gerasimou, Simos ORCID: 0000-0002-2706-5272, Calinescu, Radu ORCID: 0000-0002-2678-9260, Imrie, Calum ORCID: 0009-0004-3198-9226, Robu, Valentin ORCID: 0000-0002-9280-2072 and Flynn, David
(2024)
Bayesian learning for the robust verification of autonomous robots.
Communications Engineering, 3 (1).
18-.