Skip to main content

Research Repository

Advanced Search

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

Trustworthy Autonomous Systems Through Verifiability Thumbnail


Mohammad Reza Mousavi

Ana Cavalcanti

Michael Fisher

Louise Dennis

Rob Hierons

Bilal Kaddouh

Rob Richardson

Jan Oliver Ringert

Ivan Tyukin

Jim Woodcock


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.

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


Accepted Journal Article (1.9 Mb)

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.

You might also like

Downloadable Citations