BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Hadas Kress-Gazit
DESCRIPTION:Title: Formal Synthesis for Robots\nSpeaker: Hadas
	 Kress-Gazit\nAbstract: 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\, explain and provide
	 guarantees for their behavior\, and even identify skills they might be
	 missing. 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.
LOCATION:Gates 122
UID:2019-11-26
STATUS:TENTATIVE
DTSTART:20191126T170000Z
DTEND:20191126T180000Z
LAST-MODIFIED:20191125T142254Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T121850Z
END:VEVENT
END:VCALENDAR