| How can we guarantee robots will never cause harm? How can we prove that complicated mechanical systems, controlled by computers and programmed by people will always behave as expected, under changing conditions and in a variety of uncertain environments? How do we formalize what such behaviors are?
Recent work in robotics and automation draws on ideas and methodologies developed by the formal methods community for verifying logic circuits and software systems. While these ideas form a good foundation, dealing with physical robots requires taking into account the dynamics and uncertainty of the robot as well as the world, thus adding a substantial level of complexity. This full day workshop brings together leading researchers in the field to discuss the state of the art as well as the challenges that must be addressed in order to create safe and reliable systems that can be proven to be correct, either by design or by verification.
Thank you to everyone who presented and/or participated in the workshop for making it such a success! For whoever is interested, the presentations are posted here.
|