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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Diego Calvanese' in GoogleThis author has not been identified. Look up 'Giuseppe De Giacomo' in GoogleThis author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Fabio Patrizi' in Google

runs on WebDSL