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]
@inproceedings{GiacomoF21,
title = {Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata},
author = {Giuseppe De Giacomo and Marco Favorito},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15954},
researchr = {https://researchr.org/publication/GiacomoF21},
cites = {0},
citedby = {0},
pages = {122-130},
booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICASP 2021, Guangzhou, China (virtual), August 2-13, 2021},
editor = {Susanne Biundo and Minh Do and Robert Goldman and Michael Katz and Qiang Yang 0001 and Hankz Hankui Zhuo},
publisher = {AAAI Press},
isbn = {978-1-57735-867-1},
}