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

doi:10.1109/MC.2022.3192206

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

Autonomy and Verification

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	40-47
Number of pages	8
Journal	Computer
Volume	56
Issue number	2
DOIs	https://doi.org/10.1109/MC.2022.3192206
Publication status	Published - 1 Feb 2023

Access to Document

10.1109/MC.2022.3192206

Cite this

@article{1e2c4e174fe04bd19cecd1365d88b5bf,

title = "Trustworthy Autonomous Systems Through Verifiability",

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.",

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

note = "Publisher Copyright: {\textcopyright} 1970-2012 IEEE.",

year = "2023",

month = feb,

day = "1",

doi = "10.1109/MC.2022.3192206",

language = "English",

volume = "56",

pages = "40--47",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society ",

number = "2",

}

TY - JOUR

T1 - Trustworthy Autonomous Systems Through Verifiability

AU - Mousavi, Mohammad Reza

AU - Cavalcanti, Ana

AU - Fisher, Michael

AU - Dennis, Louise

AU - Hierons, Rob

AU - Kaddouh, Bilal

AU - Law, Effie Lai-Chong

AU - Richardson, Rob

AU - Ringer, Jan Oliver

AU - Tyukin, Ivan

AU - Woodcock, Jim

PY - 2023/2/1

Y1 - 2023/2/1

N2 - 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.

AB - 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.

U2 - 10.1109/MC.2022.3192206

DO - 10.1109/MC.2022.3192206

M3 - Article

SN - 0018-9162

VL - 56

SP - 40

EP - 47

JO - Computer

JF - Computer

IS - 2

ER -

Trustworthy Autonomous Systems Through Verifiability

Abstract

Access to Document

Fingerprint

Cite this