Reactive high-level behavior synthesis for an Atlas humanoid robot
The Mars Exploration Rover surface mobility flight software driving ambition