Valeria Fionda, Gianluigi Greco. The Complexity of LTL on Finite Traces: Hard and Easy Fragments. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 971-977, AAAI Press, 2016. [doi]
@inproceedings{FiondaG16, title = {The Complexity of LTL on Finite Traces: Hard and Easy Fragments}, author = {Valeria Fionda and Gianluigi Greco}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12250}, researchr = {https://researchr.org/publication/FiondaG16}, cites = {0}, citedby = {0}, pages = {971-977}, booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA}, editor = {Dale Schuurmans and Michael P. Wellman}, publisher = {AAAI Press}, }