LTLf/LDLf to Automata Algorithms
When: Thursday, July 2, 2020, 3pm.
Where: Google Meet, check the address in the Google Calendar Event.
Topic: Introduction to LTLf/LDLf to Automata Algorithms.
Speaker: Marco Favorito
Abstract
Introduction to LTLf/LDLf to Automata Algorithms.