De Giacomo, Giuseppe, and Marco Favorito. 2021. “Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata”. Proceedings of the International Conference on Automated Planning and Scheduling 31 (1):122-30. https://doi.org/10.1609/icaps.v31i1.15954.