@article{article, title = {{Trustworthy Autonomous Systems through Verifiability}}, url = {{https://eprints.whiterose.ac.uk/188919/ }}, year = {{2022}}, month = {{7}}, author = {{Mousavi MR and Cavalcanti A and Fisher M and Dennis L and Hierons R and Kaddouh B and Law E and Richardson R and Ringert JO and Tyukin I}}, journal = {{IEEE Computer}}, note = {{Accessed on 2024/12/21}}}