Stanford Seminar - Safety (and Liveness!) of Robot Behaviors

Hadas Kress- Gazit, Professor
Sibley School of Mechanical and Aerospace Engineering, College of Engineering - Princeton
April 27, 2022

In this talk I will describe how formal methods such as synthesis – automatically creating a system from a formal specification – can be leveraged to design robots, guarantee their behavior, and provide feedback about things that might go wrong. I will discuss the benefits and challenges of writing formal specifications that capture safety as well as liveness properties, and will give examples of different robotic systems including multi robot systems and robots interacting with people.

Recommended reading:
https://cacm.acm.org/magazines/2021/9...
https://www.annualreviews.org/doi/abs...

About the speaker: https://research.cornell.edu/research...

Learn more about Stanford's Robotics and Autonomous Systems Graduate Certificate: https://online.stanford.edu/programs/...