Bayesian Learning for the Robust Verification of Autonomous Robots

Zhao, Xingyu, Gerasimou, Simos, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2024) Bayesian Learning for the Robust Verification of Autonomous Robots. Communications Engineering. 18. ISSN 2731-3395

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© The Author(s) 2024

Dates:
  • Published: 27 January 2024
  • Accepted: 22 November 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Jul 2024 16:00
Last Modified: 04 Nov 2024 01:29
Published Version: https://doi.org/10.1038/s44172-024-00162-y
Status: Published
Refereed: Yes
Identification Number: 10.1038/s44172-024-00162-y
Open Archives Initiative ID (OAI ID):

Download

Filename: s44172-024-00162-y.pdf

Description: s44172-024-00162-y

Licence: CC-BY 2.5

Export

Statistics