BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1530
DTSTAMP:20250424T051153Z
SUMMARY:Robust timed synthesis
DESCRIPTION:Speaker: Youssouf Oualhadj (Université Paris-Est Créteil Val 
 de Marne)\n\nAbstract: \nSolving games played on timed automata is a well-
 known problem and has led to tools and industrial case studies. In these g
 ames\, the first player (Controller) chooses delays and actions and the se
 cond player (Perturbator) resolves the non-determinism of actions. However
 \, the model of timed automata suffers from mathematical idealizations suc
 h as infinite precision of clocks and instantaneous synchronization of act
 ions. To address this issue\, we extend the theory of timed games in two d
 irections. First\, we study the synthesis of robust strategies for Control
 ler which should be tolerant to adversarially chosen clock imprecisions. S
 econd\, we address the case of a stochastic perturbation model where both 
 clock imprecisions and the non-determinism are resolved randomly. Finally 
 we present a notion "repair" where we explain how to recover robustness in
  non-robust systems.\nShort Bio:\nDr. Oualhadj is interested in algorithmi
 c game theory and its application to verification and synthesis. He is a 
 senior lecturer in the Computer Science Department of Université Paris-Es
 t Créteil Val de Marne and also a member of the Specification and Verific
 ation of Systems team in the Logic\, Algorithms\, and Complexity Laborator
 y (LACL).\nFrom November 2013 to August 2014\, he held a postdoctoral posi
 tion in the Computer Science Institute of Mons University (UMons) in the T
 heoretical Computer Science team led by Véronique Bruyère. From October
  2012 to September 2013\, he held a postdoctoral position in the MoVe team
  (LIF) within the project ECSPER at Aix Marseille University. For his PhD
  thesis\, he worked under the supervision of Anca Muscholl and Hugo Gimber
 t on stochastic games.\n
URL:https://www.tcs.tifr.res.in/web/events/1530
DTSTART;TZID=Asia/Kolkata:20250429T160000
DTEND;TZID=Asia/Kolkata:20250429T170000
LOCATION:HBA Foyer
END:VEVENT
END:VCALENDAR