Trustworthy Autonomous Systems Through Verifiability

Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock

Abstract: 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.