Verification of autonomous systems: the road ahead

Signe Redfield; Joanna I. Olszewska; Kevin Leahy; Zvikomborero Murahwi; Dejanira Araiza-Illan; Michael Fisher

Verification of autonomous systems: the road ahead

Signe Redfield
, Joanna I. Olszewska
, Kevin Leahy
, Zvikomborero Murahwi
, Dejanira Araiza-Illan
, Michael Fisher

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

74 Downloads (Pure)

Abstract

Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots’ actions but also gaps in our ability to interpret, understand, and evaluate their behavior.

Original language	English
Title of host publication	IEEE International Conference on Robotics and Automation ICRA, 23-26 September 2024, Rotterdam
Publisher	IEEE
Publication status	Accepted/In press - 16 Jul 2024
Event	40th Anniversary of the IEEE International Conference on Robotics and Automation - Rotterdam, Netherlands Duration: 23 Sept 2024 → 26 Sept 2024 https://icra40.ieee.org/

Conference

Conference	40th Anniversary of the IEEE International Conference on Robotics and Automation
Abbreviated title	ICRA@40
Country/Territory	Netherlands
City	Rotterdam
Period	23/09/24 → 26/09/24
Internet address	https://icra40.ieee.org/

Access to Document

2024 07 16 Redfield et al Verification accepted - for PureAccepted author manuscript, 62.2 KBLicence: CC BY 4.0

Cite this

@inproceedings{7e57c852e4484804af62313e486a17ec,

title = "Verification of autonomous systems: the road ahead",

abstract = "Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots{\textquoteright} actions but also gaps in our ability to interpret, understand, and evaluate their behavior.",

author = "Signe Redfield and Olszewska, \{Joanna I.\} and Kevin Leahy and Zvikomborero Murahwi and Dejanira Araiza-Illan and Michael Fisher",

year = "2024",

month = jul,

day = "16",

language = "English",

booktitle = "IEEE International Conference on Robotics and Automation ICRA, 23-26 September 2024, Rotterdam",

publisher = "IEEE",

address = "United States",

note = "40th Anniversary of the IEEE International Conference on Robotics and Automation, ICRA@40 ; Conference date: 23-09-2024 Through 26-09-2024",

url = "https://icra40.ieee.org/",

}

TY - GEN

T1 - Verification of autonomous systems

T2 - 40th Anniversary of the IEEE International Conference on Robotics and Automation

AU - Redfield, Signe

AU - Olszewska, Joanna I.

AU - Leahy, Kevin

AU - Murahwi, Zvikomborero

AU - Araiza-Illan, Dejanira

AU - Fisher, Michael

PY - 2024/7/16

Y1 - 2024/7/16

N2 - Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots’ actions but also gaps in our ability to interpret, understand, and evaluate their behavior.

AB - Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots’ actions but also gaps in our ability to interpret, understand, and evaluate their behavior.

M3 - Conference contribution

BT - IEEE International Conference on Robotics and Automation ICRA, 23-26 September 2024, Rotterdam

PB - IEEE

Y2 - 23 September 2024 through 26 September 2024

ER -

Verification of autonomous systems: the road ahead

Abstract

Conference

Access to Document

Fingerprint

Cite this