Stanford CS521 - AI Safety Seminar
Stanford,
Updated On 02 Feb, 19
Stanford,
Updated On 02 Feb, 19
4.1 ( 11 )
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/255045-formalizing-and-guaranteeing-human-robot-interaction/fulltext
https://www.annualreviews.org/doi/abs/10.1146/annurev-control-060117-104838
About the speaker: https://research.cornell.edu/researchers/hadas-kress-gazit
Learn more about Stanfords Robotics and Autonomous Systems Graduate Certificate: https://online.stanford.edu/programs/robotics-and-autonomous-systems-graduate-program
Sam
Sep 12, 2018
Excellent course helped me understand topic that i couldn't while attendinfg my college.
Dembe
March 29, 2019
Great course. Thank you very much.