skip to main content

H.B. Keller Colloquium

Monday, February 13, 2023
4:00pm to 5:00pm
Add to Cal
Annenberg 105
Synthesis for robotics - what can go wrong?
Hadas Kress-Gazit, Geoffrey S.M. Hedrick Senior Endowed Professor, Sibley School of Mechanical & Aerospace Engineering, Cornell University,

Formal methods such as synthesis – automatically creating a system from a formal specification – can be leveraged to design robots and guarantee their behavior, but these guarantees do not always hold. Synthesis, while powerful, requires the designer to make assumptions about the robot and the environment in which it is operating. What happens when these assumptions are violated?

In this talk I will describe how my group thinks about failures, assumption violations, and the feedback one can generate before and during task execution.  

For more information, please contact Diana Bohler by phone at 16263951768 or by email at [email protected].