TY  - JOUR

T1  - Trustworthy autonomous systems through verifiability

JO  - Computer

UR  - https://eprints.whiterose.ac.uk/id/eprint/188919

PY  - 2023/02/10

AU  - Mousavi MR

AU  - Cavalcanti A

AU  - Fisher M

AU  - Dennis L

AU  - Hierons R

AU  - Kaddouh B

AU  - Law E

AU  - Richardson R

AU  - Ringert JO

AU  - Tyukin I

AU  - Woodcock J

ED  - 

DO  - DOI: 10.1109/mc.2022.3192206

PB  - Institute of Electrical and Electronics Engineers

VL  - 56

IS  - 2

SP  - 40

EP  - 47

Y2  - 2025/11/05

ER  -