Reactive high-level behavior synthesis for an Atlas humanoid robot
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving