Temporele logica is een essentieel hulpmiddel geworden voor veel AI-toepassingen, van verificatie tot planning en synthese. Mission-time Linear Temporal Logic (MLTL) voegt gehele grenzen met gesloten intervallen toe aan de temporele operatoren van LTL, waardoor eenheid-agnostische specificatie over eindige sporen mogelijk wordt. Het is misschien wel de meest gebruikte variant van MTL en de meest gebruikte subset van STL in industriële en AI-toepassingen. MLTL optimaliseert de afweging tussen de uitdrukbaarheid van een breed scala aan realistische vereisten en de mogelijkheid om generieke, eenvoudig te valideren formules te schrijven. We benadrukken succesvolle AI-toepassingen rond MLTL-vereisten, waaronder Robonaut2 en de NASA Lunar Gateway Vehicle System Manager. We bieden een overzicht van de vooruitgang bij het analyseren van MLTL, leggen de motivatie achter deze ontwikkelingen uit en benadrukken hiaten in de stand van de techniek waar toekomstig werk nodig is.

FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).