BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2024/newsitem/14812/8-
 March-2024-Formalisation-Optimisation-Algorithms-M
 echanisms-FOAM-Kristin-Yvonne-Rozier
DTSTAMP:20240212T142440
SUMMARY:Formalisation, Optimisation, Algorithms, M
 echanisms (FOAM), Kristin Yvonne Rozier
ATTENDEE;ROLE=Speaker:Kristin Yvonne Rozier
DTSTART;TZID=Europe/Amsterdam:20240308T150000
DTEND;TZID=Europe/Amsterdam:20240308T162500
LOCATION:Room L3.33, ILLC Lab42, Science Park 900,
  Amsterdam
DESCRIPTION:Abstract:  Temporal logics have become
  essential tools of many AI applications, from ver
 ification to planning to synthesis. Mission-time L
 inear Temporal Logic (MLTL) adds closed-interval i
 nteger bounds on the temporal operators of LTL, en
 abling unit-agnostic specification over finite tra
 ces. It is arguably the most-used variation of MTL
 , and the most-used subset of STL in industrial an
 d AI applications. M...
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:</p>\
 n  <p>Temporal logics have become essential tools 
 of many AI applications, from verification to plan
 ning to synthesis. Mission-time Linear Temporal Lo
 gic (MLTL) adds closed-interval integer bounds on 
 the temporal operators of LTL, enabling unit-agnos
 tic specification over finite traces. It is arguab
 ly the most-used variation of MTL, and the most-us
 ed subset of STL in industrial and AI applications
 . M...</p>\n
URL:https://events.illc.uva.nl/FOAM/posts/talk12/
CONTACT:Gregor Behnke at g.behnke at uva.nl
CONTACT:Ronald de Haan at r.dehaan at uva.nl
END:VEVENT
END:VCALENDAR