TY - JOUR
T1 - Verification of autonomous systems [TC spotlight]
AU - Araiza-Illan, Dejanira
AU - Fisher, Michael
AU - Leahy, Kevin
AU - Olszewska, Joanna Isabelle
AU - Redfield, Signe
PY - 2022/3/22
Y1 - 2022/3/22
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85127608798&partnerID=8YFLogxK
U2 - 10.1109/MRA.2022.3143966
DO - 10.1109/MRA.2022.3143966
M3 - Article
SN - 1070-9932
VL - 29
SP - 99
EP - 101
JO - IEEE Robotics and Automation Magazine
JF - IEEE Robotics and Automation Magazine
IS - 1
ER -