Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.

Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

Browse the full IJCAI paper archive.