| Guaranteeing safety, predictability and reliability of robots is crucial for the assimilation of such systems into society, be it at home or in the workplace. While every robotics researcher working with or on a robot is aware of safety issues, only recently people have begun looking at ways to either formally prove or guarantee by design different behavioral properties such as safety and correctness. The results that will be presented in the workshop combine and extend ideas from automata theory, logic, model checking, hybrid systems and control and they pave the way toward creating robotic “formal methods” – a body of work that will ultimately result in provable correct robotic systems. |
|
|
|
Topics include:
- Verification of robotic and automation systems
- Use of model checking and deductive verification techniques
- Correct by design planner/controller synthesis
- Automata theory in the context of robotics
- Use of logic to specify and reason about tasks
- Lessons that can be learned from hardware/software verification
|
|
|
