Formal approaches, ontologies, and standards for the verification of autonomous systems

Research output: Contribution to conferencePresentationpeer-review

Abstract

With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.
Original languageEnglish
Publication statusPublished - 23 May 2022
EventThe 39th IEEE International Conference on Robotics and Automation: Workshop on the Verification of Autonomous Systems (VAS) - Pennsylvania Convention Center, Philadelphia, United States
Duration: 23 May 202227 May 2022
https://robotistry.org/vaswg/ICRA22_Workshop/
https://www.icra2022.org/

Conference

ConferenceThe 39th IEEE International Conference on Robotics and Automation
Abbreviated titleICRA 2022
Country/TerritoryUnited States
CityPhiladelphia
Period23/05/2227/05/22
Internet address

Fingerprint

Dive into the research topics of 'Formal approaches, ontologies, and standards for the verification of autonomous systems'. Together they form a unique fingerprint.

Cite this