Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin. Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 4959-4965, ijcai.org, 2020. [doi]
@inproceedings{GiacomoSFR20, title = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces}, author = {Giuseppe De Giacomo and Antonio Di Stasio and Francesco Fuggitti and Sasha Rubin}, year = {2020}, doi = {10.24963/ijcai.2020/690}, url = {https://doi.org/10.24963/ijcai.2020/690}, researchr = {https://researchr.org/publication/GiacomoSFR20}, cites = {0}, citedby = {0}, pages = {4959-4965}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]}, editor = {Christian Bessiere}, publisher = {ijcai.org}, }