Giuseppe De Giacomo, Marco Favorito. Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. In Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang 0001, Hankz Hankui Zhuo, editors, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICASP 2021, Guangzhou, China (virtual), August 2-13, 2021. pages 122-130, AAAI Press, 2021. [doi]
Abstract is missing.