Trustworthy autonomous systems through verifiability

Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (7 more authors) (Accepted: 2022) Trustworthy autonomous systems through verifiability. Computer. ISSN 0018-9162 (In Press)



Copyright, Publisher and Additional Information: © 2022 IEEE.
  • Accepted: 7 July 2022
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
Engineering and Physical Sciences Research CouncilEP/V026801/1
Depositing User: Symplectic Sheffield
Date Deposited: 21 Jul 2022 15:30
Last Modified: 21 Jul 2022 15:30
Status: In Press
Publisher: Institute of Electrical and Electronics Engineers
Refereed: Yes


Accepted Version

Under temporary embargo

Filename: Verifiability___IEEE_Software_magazine.pdf

Request a copy

file not available

Share / Export