Review article on synthesis for robotics

A preview of the review article "Synthesis for Robots: Guarantees and Feedback for Robot Behavior" by Kress-Gazit, Lahijanian and Raman is available here.