Please note that this newsitem has been archived, and may contain outdated information or links.
8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier
Speaker: Kristin Yvonne Rozier
Title: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
Date: Friday 8 March 2024
Time: 15:00-16:25
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
Abstract:
Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...
For more information, see
https://events.illc.uva.nl/FOAM/posts/talk12/
or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.