H.B. Keller Colloquium
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.