Contact-Implicit Optimization How can we design trajectories that make and break contact? Temporal Logic Planning How can robots plan to accomplish complex tasks? Certifying Reduced-Order Models Can we obtain formal guarantees when planning with a reduced-order model? Machine Learning Can we combine the promise of machine learning with the rigor of model-based control? Legged Locomotion How can we get robots to move through the world? Dextrous Manipulation How can we get robots to move stuff around?
