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