Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 2553-2560, ijcai.org, 2022. [doi]
@inproceedings{CalvaneseGMP22,
title = {Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces},
author = {Diego Calvanese and Giuseppe De Giacomo and Marco Montali and Fabio Patrizi},
year = {2022},
doi = {10.24963/ijcai.2022/354},
url = {https://doi.org/10.24963/ijcai.2022/354},
researchr = {https://researchr.org/publication/CalvaneseGMP22},
cites = {0},
citedby = {0},
pages = {2553-2560},
booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022},
editor = {Luc De Raedt},
publisher = {ijcai.org},
}