Channel: Stanford Online

Category: Education

Tags: robotstanfordroboticsaics521artificial intelligence

Description: 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: cacm.acm.org/magazines/2021/9/255045-formalizing-and-guaranteeing-human-robot-interaction/fulltext annualreviews.org/doi/abs/10.1146/annurev-control-060117-104838 About the speaker: research.cornell.edu/researchers/hadas-kress-gazit Learn more about Stanford's Robotics and Autonomous Systems Graduate Certificate: online.stanford.edu/programs/robotics-and-autonomous-systems-graduate-program