Verification of autonomous systems [TC spotlight]

Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe Redfield

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
48 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)99-101
Number of pages3
JournalIEEE Robotics and Automation Magazine
Issue number1
Publication statusPublished - 22 Mar 2022


Dive into the research topics of 'Verification of autonomous systems [TC spotlight]'. Together they form a unique fingerprint.

Cite this