One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (GandALF, 2018)

An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. - Luca Geatti; Federico Igne; Marino Miculan (ICTCS, 2019)

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. - Luca Geatti; Nicola Gigante; Angelo Montanari (TABLEAUX, 2019)

Reactive Synthesis from Extended Bounded Response LTL Specifications. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FMCAD, 2020)

Safe Decomposition of Startup Requirements: Verification and Synthesis. - Alessandro Cimatti; Luca Geatti; Alberto Griggio; Greg Kimberly; Stefano Tonetta (TACAS (1), 2020)

BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari (OVERLAY@GandALF, 2021)

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (TIME, 2021)

Expressiveness of Extended Bounded Response LTL. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (GandALF, 2021)

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (Inf. Comput., 2021)

A first-order logic characterisation of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FoSSaCS, 2022)

Linear Temporal Logic Modulo Theories over Finite Traces. - Luca Geatti; Alessandro Gianola; Nicola Gigante (IJCAI, 2022)

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante (CoRR, 2022)

Controller Synthesis for Timeline-based Games. - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari; Valentino Picotti (GandALF, 2022)

Reactive Synthesis for DECLARE via symbolic automata. - Luca Geatti; Marco Montali; Andrey Rivkin (CoRR, 2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (AAAI, 2023)

Foundations of Collaborative sfDECLARE. - Luca Geatti; Marco Montali; Andrey Rivkin (BPM (Forum), 2023)

Decidable Fragments of LTLf Modulo Theories. - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (ECAI, 2023)

A Linear-size Cascade Decomposition for Wheeler Automata. - Giovanna D'Agostino; Luca Geatti; Davide Martincigh; Alberto Policriti (ICTCS, 2023)

A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (KR, 2023)

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo (OVERLAY@AI*IA, 2023)

Towards Machine Learning Enhanced LTL Monitoring. - Luca Geatti; Angelo Montanari; Nicola Saccomanno (OVERLAY@AI*IA, 2023)

Qualitative past Timeline-Based Games (Extended Abstract). - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari (TIME, 2023)

LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (TIME, 2023)

Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). - Luca Geatti; Alessandro Gianola; Nicola Gigante (TIME, 2023)

Decidable Fragments of LTLf Modulo Theories (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante; Sarah Winkler (CoRR, 2023)

GR(1) is equivalent to R(1). - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Inf. Process. Lett., 2023)

A first-order logic characterization of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Log. Methods Comput. Sci., 2023)

Foundations of Reactive Synthesis for Declarative Process Specifications. - Luca Geatti; Marco Montali; Andrey Rivkin (AAAI, 2024)

SMT-Based Symbolic Model-Checking for Operator Precedence Languages. - Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella (CAV (1), 2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. - Luca Geatti; Alessio Mansutti; Angelo Montanari (FoSSaCS (2), 2024)

Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. - Andrea Brunello; Luca Geatti; Angelo Montanari; Nicola Saccomanno (IJCAI, 2024)

Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. - Andrea Brunello; Riccardo Ferrarese; Luca Geatti; Enrico Marzano; Angelo Montanari; Nicola Saccomanno (OVERLAY, 2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). - Luca Geatti; Alessio Mansutti; Angelo Montanari (CoRR, 2024)

A General Automata Model for First-Order Temporal Logics (Extended Version). - Luca Geatti; Alessandro Gianola; Nicola Gigante (CoRR, 2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. - Renato Acampora; Dario Della Monica; Luca Geatti; Nicola Gigante; Angelo Montanari; Pietro Sala (GandALF, 2024)

Cascade products and Wheeler automata. - Giovanna D'Agostino; Luca Geatti; Davide Martincigh; Alberto Policriti (Theor. Comput. Sci., 2024)

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Softw. Syst. Model., 2024)

SAT Meets Tableaux for Linear Temporal Logic Satisfiability. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (J. Autom. Reason., 2024)

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Formal Methods Syst. Des., 2024)

First-Order Automata. - Luca Geatti; Alessandro Gianola; Nicola Gigante (AAAI, 2025)

On Cascades of Reset Automata. - Roberto Borelli; Luca Geatti; Marco Montali; Angelo Montanari (STACS, 2025)

Succinctness issues for LTL and safety and cosafety fragments of LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (Inf. Comput., 2025)