A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies

Download PDF

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo

Published: 01 Jan 2023, Last Modified: 15 Aug 2024OVERLAY@AI*IA 2023EveryoneRevisionsBibTeXCC BY-SA 4.0