We seek to build full-stack robotic systems that are not only safe, but also SAFE: Smart, Agile, Flexible, and Engaging. Our long-term goal is to enable widespread robot deployment to better understand how, when, and where society wants and needs robots.

The SRL explores, develops, and implements methods in every part of a robot’s autonomy stack: hardware, perception, planning, and control. We seek to decouple the safety and performance tradeoff, making robots that can not just accomplish difficult tasks but also guarantee that they meet constraints while doing so. To accomplish this goal we use novel designs, formal methods, and learning techniques to ensure that uncertain autonomous systems can safely achieve tasks to benefit humanity.