Trustworthy Autonomous Systems Through Verifiability

Collapse authors list.
Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan et al (show 1 more authors) and Woodcock, Jim (2023) Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56 (2). pp. 40-47.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1109/mc.2022.3192206

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.

Item Type:	Article
Uncontrolled Keywords:	Autonomous systems
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	21 Apr 2023 14:38
Last Modified:	03 May 2023 20:45
DOI:	10.1109/MC.2022.3192206
Open Access URL:	https://dro.dur.ac.uk/36849/1/36849.pdf
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3169871