BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/925
DTSTAMP:20230914T125943Z
SUMMARY:Formal Methods for Building a Multi-Robot Task Server
DESCRIPTION:Speaker: Rupak Majumdar (Max Planck Institute for Software Syst
 ems\nPaul-Ehrlich Strasse G 26\n67663 Kaiserslautern\nGermany)\n\nAbstract
 : \nAbstract: In this talk\, I will talk about synthesis challenges that 
 arose in our attempts to build Antlab\, an end-to-end system that takes st
 reams of user task requests and executes them using collections of robots
 . In Antlab\, each request is specified declaratively in linear temporal 
 logic extended with quantifiers over robots. The user does not program ro
 bots individually\, nor know how many robots are available at any time or 
 the precise state of the robots. The Antlab runtime system manages the se
 t of robots\, schedules robots to perform tasks\, automatically synthesize
 s robot motion plans from the task specification\, and manages the co-ord
 inated execution of the plan.\nWe are using Antlab as an end-to-end applic
 ation of formal methods in cyber-physical systems. I will describe techni
 ques to bridge the gap between continuous and discrete worlds\, and hiera
 rchical synthesis tools based on repeated re-planning and dynamic conflict
  resolution. In particular\, I shall describe the technique of abstractio
 n-based controller synthesis\, which applies reactive synthesis technique
 s to continuous control problems.\nThis talk represents joint work with Br
 endon Boldt\, Eva Darulova\, Rayna Dimitrova\, Ivan Gavran\, Kaushik Malli
 k\, Vinayak Prabhu\, Indranil Saha\, Anne-Kathrin Schmuck\, Sadegh Soudja
 ni\, and Damien Zufferey.\n
URL:https://www.tcs.tifr.res.in/web/events/925
DTSTART;TZID=Asia/Kolkata:20181217T160000
DTEND;TZID=Asia/Kolkata:20181217T170000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR