Verification of Autonomous Systems

Araiza-Illan, Dejanira, Fisher, Michael, Leahy, Kevin, Olszewska, Joanna Isabelle and Redfield, Signe (2022) Verification of Autonomous Systems. IEEE ROBOTICS & AUTOMATION MAGAZINE, 29 (1). pp. 99-101.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1109/mra.2022.3143966

Abstract

The robotics and autonomous systems communities have seen a significant and rapid increase in both the development of robots and vehicles for commercial use and in using these systems across a wide range of novel applications. As these robots, vehicles, software, and even embedded devices move toward much greater autonomy, techniques for verification, providing much higher confidence than usual, are becoming required. However, the analysis and evaluation processes used for traditional systems must be significantly enhanced to provide increased confidence in this next wave of autonomous systems. The need for well understood and effective verification techniques will become even vital, as we move to commercial applications that rely on complex artificial intelligence technologies, and the utilization of these systems in safety-critical scenarios.

Item Type:	Article
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	26 May 2022 15:58
Last Modified:	31 May 2023 19:52
DOI:	10.1109/MRA.2022.3143966
Open Access URL:	https://research-portal.uws.ac.uk/en/publications/...
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3155546