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 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 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
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