Reactive high-level behavior synthesis for an Atlas humanoid robot