Luca Geatti

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 41

Top Topics

Extended Abstract

Distributed Heterogeneous

Underlying Assumptions

Top Venues

Publications

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR (2024)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) (2024)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI (2024)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23 (2) (2024)
Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR (2024)
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68 (2) (2024)
Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) (2024)
Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
Cascade products and Wheeler automata. Theor. Comput. Sci. 1013 (2024)
Luca Geatti, Alessandro Gianola, Nicola Gigante
A General Automata Model for First-Order Temporal Logics (Extended Version). CoRR (2024)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19 (3) (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
GR(1) is equivalent to R(1). Inf. Process. Lett. 179 (2023)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Collaborative sfDECLARE. BPM (Forum) (2023)
Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS (2023)
Luca Geatti, Angelo Montanari, Nicola Saccomanno
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Modulo Theories. ECAI (2023)
Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
Qualitative past Timeline-Based Games (Extended Abstract). TIME (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
Controller Synthesis for Timeline-based Games. CoRR (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterisation of safety and co-safety languages. FoSSaCS (2022)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
Controller Synthesis for Timeline-based Games. GandALF (2022)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR (2022)
Luca Geatti, Marco Montali, Andrey Rivkin
Reactive Synthesis for DECLARE via symbolic automata. CoRR (2022)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. CoRR (2022)
Luca Geatti, Alessandro Gianola, Nicola Gigante
Linear Temporal Logic Modulo Theories over Finite Traces. IJCAI (2022)
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Expressiveness of Extended Bounded Response LTL. GandALF (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
+Past. Inf. Comput. 278 (2021)
Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD (2020)
Luca Geatti, Nicola Gigante, Angelo Montanari
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX (2019)
Luca Geatti, Federico Igne, Marino Miculan
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS (2019)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF (2018)