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


Authors

Mohammad Reza Mousavi

Ana Cavalcanti

Michael Fisher

Louise Dennis

Rob Hierons

Bilal Kaddouh

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 Mar 28, 2024
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

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.





You might also like



Downloadable Citations