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.
|Publication status||Published - 23 May 2022|
|Event||The 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 2022 → 27 May 2022
|Conference||The 39th IEEE International Conference on Robotics and Automation|
|Abbreviated title||ICRA 2022|
|Period||23/05/22 → 27/05/22|