Fully Compositional LTLf/LDLf to DFA
When: Thursday, January 28, 2021, 3pm (GMT+1).
Where: Zoom online, check the address in the Google Calendar Event.
Topic: Fully Compositional LTLf/LDLf to DFA.
Speaker: Marco Favorito
Abstract
Fully Compositional LTLf/LDLf to DFA