De Giacomo G, Favorito M. Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS [Internet]. 2021May17 [cited 2024Apr.17];31(1):122-30. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/15954