Trustworthy Autonomous Systems Through Verifiability

Trustworthy Autonomous Systems Through Verifiability

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer (Long Beach, Calif.) Calif.), 2023-02, Vol.56 (2), p.40-47
Hauptverfasser: Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan, Woodcock, Jim
Format: Artikel
Sprache:eng
Schlagworte:
Autonomous systems
Formal verification
Trust computing
Trustworthiness
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2022.3192206