Synthesizing & Guaranteeing Robot Behaviors
Loading...
Author(s)
Kress-Gazit, Hadas
Advisor(s)
Editor(s)
Collections
Supplementary to:
Permanent Link
Abstract
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 synthesis techniques and will give examples of different robotic systems including modular robots, swarms, and robots interacting with people.
Sponsor
Date
2022-03-09
Extent
63:17 minutes
Resource Type
Moving Image
Resource Subtype
Lecture