Trustworthy Autonomous Systems Through Verifiability

Mousavi, Mohammad Reza; Cavalcanti, Ana; Fisher, Michael; Dennis, Louise; Hierons, Rob; Kaddouh, Bilal; Law, Effie Lai-Chong; Richardson, Rob; Ringert, Jan Oliver; Tyukin, Ivan; Woodcock, Jim

doi:10.1109/mc.2022.3192206

Trustworthy Autonomous Systems Through Verifiability

Mousavi, Mohammad Reza; Cavalcanti, Ana; Fisher, Michael; Dennis, Louise; Hierons, Rob; Kaddouh, Bilal; Law, Effie Lai-Chong; Richardson, Rob; Ringert, Jan Oliver; Tyukin, Ivan; Woodcock, Jim

Authors

Mohammad Reza Mousavi

Ana Cavalcanti

Michael Fisher

Louise Dennis

Rob Hierons

Bilal Kaddouh

Professor Effie Law lai-chong.law@durham.ac.uk
Professor in Computer Science

Rob Richardson

Jan Oliver Ringert

Ivan Tyukin

Jim Woodcock

Citation

Mousavi, M. R., Cavalcanti, A., Fisher, M., Dennis, L., Hierons, R., Kaddouh, B., …Woodcock, J. (2023). Trustworthy Autonomous Systems Through Verifiability. Computer, 56(2), 40-47. https://doi.org/10.1109/mc.2022.3192206

Journal Article Type	Article
Acceptance Date	Aug 11, 2022
Publication Date	2023-02
Deposit Date	Aug 31, 2022
Publicly Available Date	Aug 31, 2022
Journal	Computer
Print ISSN	0018-9162
Electronic ISSN	1558-0814
Publisher	Institute of Electrical and Electronics Engineers
Peer Reviewed	Peer Reviewed
Volume	56
Issue	2
Pages	40-47
DOI	https://doi.org/10.1109/mc.2022.3192206
Public URL	https://durham-repository.worktribe.com/output/1196139

Files

Accepted Journal Article (1.9 Mb)
PDF

Copyright 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.