Formal Synthesis for Robots - Robotics Institute Carnegie Mellon University