Explaining Impossible High-Level Robot Behaviors
Synthesis of Reactive(1) Designs