We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Trustworthy Autonomous Systems Through Verifiability

Mousavi, Mohammad Reza and Cavalcanti, Ana and Fisher, Michael and Dennis, Louise and Hierons, Rob and Kaddouh, Bilal and Law, Effie Lai-Chong and Richardson, Rob and Ringert, Jan Oliver and Tyukin, Ivan and Woodcock, Jim (2022) 'Trustworthy Autonomous Systems Through Verifiability.', Computer .

Item Type:Article
Full text:(AM) Accepted Manuscript
Download PDF
Publisher Web site:
Publisher statement:© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date accepted:11 August 2022
Date deposited:31 August 2022
Date of first online publication:No date available
Date first made open access:31 August 2022

Save or Share this output

Look up in GoogleScholar