Trustworthy Autonomous Systems Through Verifiability

Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Hierons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock

Research output: Contribution to journalArticlepeer-review


Autonomous systems have the promise to address many of our societal challenges in a variety of areas. To realize this potential, these systems need to be trustworthy. We describe research carried out by a U.K. consortium to address a central issue in establishing trustworthiness: verifiability.

Original languageEnglish
Pages (from-to)40-47
Number of pages8
Issue number2
Publication statusPublished - 1 Feb 2023


Dive into the research topics of 'Trustworthy Autonomous Systems Through Verifiability'. Together they form a unique fingerprint.

Cite this