Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]

Robots often fail to do what we expect them to do; they go the wrong way, they drive into obstacles, and sometimes they just stay in place until we figure out what went wrong. In the current design process of robotic systems, especially in the decision making and control algorithms, an engineer designs the system, tests it, fixes it in case a bug was found, and then tests again, until he or she decides that the system is reliable enough; if the behavior of the robot needs to be changed, this timeconsuming and error-prone process is repeated. How can we improve this process? How can we guarantee the correct robot behavior? How can we ensure that robots will always be safe?