BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:4fba4fae-c5fb-47bb-94e6-3f98c46e53b4
X-WR-CALNAME:[MTV] Srivathsan (CMI Chennai) -  A Myhill-Nerode style charac
 terization for timed automata with integer resets
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20270328T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20241027T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20251026T030000
RDATE:20261025T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20250330T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20260329T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:4fba4fae-c5fb-47bb-94e6-3f98c46e53b4
DTSTAMP:20260511T110114Z
CLASS:PUBLIC
DESCRIPTION:The well-known Nerode equivalence for finite words plays a fund
 amental role in our understanding of the class of regular languages. The e
 quivalence leads to the Myhill-Nerode theorem and a canonical automaton\, 
 which in turn\, is the basis of several automata learning algorithms. A Ne
 rode-like equivalence has been studied for various classes of timed langua
 ges. In this work\, we focus on timed automata with integer resets.\n\nThi
 s class is known to have good automata-theoretic properties and is also us
 eful for practical modeling. Our main contribution is a Nerode-style equiv
 alence for this class that depends on a constant K. We show that the equiv
 alence leads to a Myhill-Nerode theorem and a canonical one-clock integer-
 reset timed automaton with maximum constant K. Based on the canonical form
 \, we develop an Angluin-style active learning algorithm whose query compl
 exity is polynomial in the size of the canonical form.\n\nJoint work with 
 Kyveli Doveri and Pierre Ganty. \n\n\nImport automatique depuis https://fr
 amagenda.org/remote.php/dav/public-calendars/D3yqF7nwys9amfyY?export par s
 ync_icals_to_drupal.py pour M2F
DTSTART;TZID=Europe/Paris:20250626T130000
DTEND;TZID=Europe/Paris:20250626T140000
LOCATION:Labri\, 076
SEQUENCE:0
SUMMARY:[MTV] Srivathsan (CMI Chennai) -  A Myhill-Nerode style characteriz
 ation for timed automata with integer resets
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
