Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 1027-1033, AAAI Press, 2014. [doi]
@inproceedings{GiacomoMM14,
title = {Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness},
author = {Giuseppe De Giacomo and Riccardo De Masellis and Marco Montali},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},
researchr = {https://researchr.org/publication/GiacomoMM14},
cites = {0},
citedby = {0},
pages = {1027-1033},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada},
editor = {Carla E. Brodley and Peter Stone},
publisher = {AAAI Press},
isbn = {978-1-57735-661-5},
}