Abstract
Currently, verification is a bottleneck in transitioning autonomous systems (AS) out of the lab because we cannot explain why they fail. Verification of autonomous systems is both underfunded and understudied in the academic community, while it encompasses challenges ranging from distinguishing further between testing and verification to studying not only the robots’ actions but also gaps in our ability to interpret, understand, and evaluate their behavior.
| Original language | English |
|---|---|
| Title of host publication | IEEE International Conference on Robotics and Automation ICRA, 23-26 September 2024, Rotterdam |
| Publisher | IEEE |
| Publication status | Accepted/In press - 16 Jul 2024 |
| Event | 40th Anniversary of the IEEE International Conference on Robotics and Automation - Rotterdam, Netherlands Duration: 23 Sept 2024 → 26 Sept 2024 https://icra40.ieee.org/ |
Conference
| Conference | 40th Anniversary of the IEEE International Conference on Robotics and Automation |
|---|---|
| Abbreviated title | ICRA@40 |
| Country/Territory | Netherlands |
| City | Rotterdam |
| Period | 23/09/24 → 26/09/24 |
| Internet address |