Correct, Reactive, High-Level Robot Control