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.Bio: Hadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr.
Wednesday, March 9, 2022 – 00:15 to 01:15
Marcus Nanotechnology Building 1116-1118
Featuring Hadas Kress-Gazit | Geoffrey S.M. Hedrick Sr. Professor; Sibley School of Mechanical & Aerospace Engineering, Cornell University