TRS – Prof. Hadas Kress-Gazit (Cornell University) – Synthesizing and guaranteeing robot behaviors

When: 26.1.2022 at 15:00

Where: zoom

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, and explain and provide guarantees for their behavior. 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.

You can see the seminar here