@article{article, title  = {{Trustworthy autonomous systems through verifiability}},

 publisher = {{Institute of Electrical and Electronics Engineers}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/188919 }},

 year = {{2023}},

 month = {{2}},

 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 and Woodcock J}},

 doi = {{10.1109/mc.2022.3192206}},

 volume = {{56}},

 journal = {{Computer}},

 issue = {{2}},

 pages = {{40-47}},

 note = {{Accessed on 2025/11/05}}}