BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1526
DTSTAMP:20250321T084041Z
SUMMARY:Greybox Learning of Languages Recognizable by Event-Recording Autom
 ata
DESCRIPTION:Speaker: Anirban Majumdar\n\nAbstract: \nIn this talk\, I will 
 present our work on active learning of timed languages recognizable by Eve
 nt-Recording Automata (ERA). Active learning is a type of model inference 
 approach to learn an unknown language by making membership and equivalence
  queries to a Teacher. In this work\, we introduce an active learning algo
 rithm\, tLSep\, for learning ERA-recognizable languages. Our framework emp
 loys a method known as grey-box learning\, which enables the learning of E
 RA with the minimum number of states. \n \nI will first introduce the ac
 tive learning framework for inferring languages. I will then introduce the
  class of timed languages recognizable by ERA. Finally\, I will describe o
 ur result on the learning of ERA-recognizable languages.\n \nThis talk is
  based on our ATVA 2024 paper with Sayan Mukherjee and Jean-François Rask
 in.\n \nShort Bio:\nAnirban Majumdar is currently visiting various resear
 ch institutes in India. Earlier he was a post-doctoral researcher in the V
 erification group at Université Libre de Bruxelles\, working with Jean-Fr
 ançois Raskin. He did his PhD from ENS Paris-Saclay under the supervision
  of Patricia Bouyer-Decitre and Nathalie Bertrand. His research interests 
 include synthesis of reactive systems\, automata learning\, distributed sy
 stems. \n
URL:https://www.tcs.tifr.res.in/web/events/1526
DTSTART;TZID=Asia/Kolkata:20250401T160000
DTEND;TZID=Asia/Kolkata:20250401T170000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR