Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (Cover date: February 2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162
Abstract
Autonomous systems have the promise to address many of our societal challenges in a variety of areas. To realize this potential, these systems need to be trustworthy. We describe research carried out by a U.K. consortium to address a central issue in establishing trustworthiness: verifiability.
Metadata
Authors/Creators: |
|
||||
---|---|---|---|---|---|
Dates: |
|
||||
Institution: | The University of Leeds | ||||
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mechanical Engineering (Leeds) > Institute of Engineering Systems and Design (iESD) (Leeds) | ||||
Funding Information: |
|
||||
Depositing User: | Symplectic Publications | ||||
Date Deposited: | 07 Nov 2023 12:09 | ||||
Last Modified: | 08 Nov 2023 11:04 | ||||
Published Version: | https://ieeexplore.ieee.org/document/10042118 | ||||
Status: | Published | ||||
Publisher: | Institute of Electrical and Electronics Engineers (IEEE) | ||||
Identification Number: | https://doi.org/10.1109/mc.2022.3192206 | ||||
Related URLs: |
Download not available
A full text copy of this item is not currently available from White Rose Research Online