Abstract
Autonomous robots such as robot assistants, healthcare robots, industrial robots, autonomous vehicles etc. are being developed to carry out a range of tasks in different environments. The robots need to be able to act autonomously, choosing between a range of activities. They may be operating close to or in collaboration with humans, or in environments hazardous to humans where the robot is hard to reach if it malfunctions. We need to ensure that such robots are reliable, safe and trustworthy. In this talk I will discuss experiences from several projects in developing and applying verification techniques to autonomous robotic systems. In particular we consider: a robot assistant in a domestic house, a robot co-worker for a cooperative manufacturing task, multiple robot systems and robots operating in hazardous environments.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY), September 25, 2020 |
| Editors | Riccardo De Benedictis, Luca Geretti, Andrea Micheli |
| Publisher | CEUR Workshop Proceedings |
| Pages | 1-4 |
| Number of pages | 4 |
| Publication status | Published - 2020 |
| Event | 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis - Bozen, Italy Duration: 25 Sept 2020 → 25 Sept 2020 https://overlay.uniud.it/workshop/2020/ |
Workshop
| Workshop | 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis |
|---|---|
| Country/Territory | Italy |
| City | Bozen |
| Period | 25/09/20 → 25/09/20 |
| Internet address |