Computer Science Distinguished Lecture Series presents, "Synthesis for Robots: Guarantees and Feedback for Complex Behavior"

Getting a robot to perform a complex task, for example completing the DARPA Robotics Challenge, typically requires a team of engineers who program the robot in a…