@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/22}}}