TY  - JOUR

T1  - Trustworthy Autonomous Systems through Verifiability

JO  - IEEE Computer

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

PY  - 2022/07/07

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

ED  - 

Y2  - 2024/12/22

ER  -