Linear Temporal Logic Modulo Theories over Finite Traces. L Geatti, A Gianola, N Gigante IJCAI 22, 2641-2647, 2022 | 19 | 2022 |
A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL L Geatti, N Gigante, A Montanari Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 18 | 2019 |
One-pass and tree-shaped tableau systems for TPTL and TPTLb+ Past L Geatti, N Gigante, A Montanari, M Reynolds Information and Computation 278, 104599, 2021 | 15 | 2021 |
Black: A fast, flexible and reliable ltl satisfiability checker L Geatti, N Gigante, A Montanari CEUR Workshop Proceedings 2987, 7-12, 2021 | 11 | 2021 |
Past matters: Supporting LTL+ Past in the BLACK satisfiability checker L Geatti, N Gigante, A Montanari, G Venturato 28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021 | 11 | 2021 |
Complexity of safety and cosafety fragments of linear temporal logic A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6236-6244, 2023 | 10 | 2023 |
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta Formal Methods in System Design, 1-49, 2021 | 10 | 2021 |
Reactive synthesis from extended bounded response LTL specifications A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 83-92, 2020 | 9 | 2020 |
Reactive synthesis for DECLARE via symbolic automata L Geatti, M Montali, A Rivkin arXiv preprint arXiv:2212.10875, 2022 | 5 | 2022 |
Expressiveness of extended bounded response LTL A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta arXiv preprint arXiv:2109.08319, 2021 | 5 | 2021 |
A singly exponential transformation of LTL [X, F] into pure past LTL A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari Proceedings of the International Conference on Principles of Knowledge …, 2023 | 4 | 2023 |
Linear temporal logic modulo theories over finite traces (extended version) L Geatti, A Gianola, N Gigante arXiv preprint arXiv:2204.13693, 2022 | 4 | 2022 |
Decidable Fragments of LTLf Modulo Theories L Geatti, A Gianola, N Gigante, S Winkler FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 372, 811-818, 2023 | 3 | 2023 |
A first-order logic characterisation of safety and co-safety languages. A Cimatti, L Geatti, N Gigante, A Montanari, S Tonetta FoSSaCS, 244-263, 2022 | 3 | 2022 |
Temporal Logic Specifications: Expressiveness, Satisfiability And Realizability L Geatti Università degli Studi di Udine, 2022 | 3 | 2022 |
Decidable fragments of LTLf modulo theories (extended version) L Geatti, A Gianola, N Gigante, S Winkler arXiv preprint arXiv:2307.16840, 2023 | 2 | 2023 |
LTL over finite words can be exponentially more succinct than pure-past LTL, and vice versa A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari 30th International Symposium on Temporal Representation and Reasoning (TIME …, 2023 | 2 | 2023 |
Safe decomposition of startup requirements: Verification and synthesis A Cimatti, L Geatti, A Griggio, G Kimberly, S Tonetta International Conference on Tools and Algorithms for the Construction and …, 2020 | 2 | 2020 |
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version) L Geatti, A Mansutti, A Montanari arXiv preprint arXiv:2401.09860, 2024 | 1 | 2024 |
Foundations of Collaborative L Geatti, M Montali, A Rivkin International Conference on Business Process Management, 55-72, 2023 | 1 | 2023 |