Luca Geatti - RankMe

58 papers A* 8A 3B 4C 5Journal 22Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Automata-less Monitoring via Trace-Checking. AAAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2026	A*	`conf`	Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. AAAI Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025	—	`conf`	Automata Cascades for Model Checking. OVERLAY Luca Geatti
2025	J	`jnl`	Automata-less Monitoring via Trace-Checking (Extended Version). CoRR Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	J	`jnl`	Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy. CoRR Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025	A*	`conf`	First-Order Automata. AAAI Luca Geatti, Alessandro Gianola, Nicola Gigante
2025	A	`conf`	Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring. ECAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	J	`jnl`	Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring. CoRR Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	A	`conf`	On Cascades of Reset Automata. STACS Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari
2025	C	`conf`	Safety and Liveness on Finite Words. TIME Luca Geatti, Stefano Pessotto, Stefano Tonetta
2025	J	`jnl`	Succinctness issues for LTL and safety and cosafety fragments of LTL. Inf. Comput. Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2024	J	`jnl`	A General Automata Model for First-Order Temporal Logics (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante
2024	J	`jnl`	Cascade products and Wheeler automata. Theor. Comput. Sci. Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2024	J	`jnl`	Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2024	—	`conf`	Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. OVERLAY Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno
2024	J	`jnl`	Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	J	`jnl`	Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	A*	`conf`	Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI Luca Geatti, Marco Montali, Andrey Rivkin
2024	A*	`conf`	Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2024	J	`jnl`	SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
2024	—	`conf`	SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2024	J	`jnl`	SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2024	J	`jnl`	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR Luca Geatti, Alessio Mansutti, Angelo Montanari
2024	—	`conf`	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) Luca Geatti, Alessio Mansutti, Angelo Montanari
2024	—	`conf`	Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala
2023	—	`conf`	A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
2023	—	`conf`	A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2023	A*	`conf`	A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	A*	`conf`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	Controller Synthesis for Timeline-based Games. CoRR Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2023	A	`conf`	Decidable Fragments of LTL ECAI Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023	J	`jnl`	Decidable Fragments of LTLf Modulo Theories (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
2023	—	`conf`	Foundations of Collaborative sfDECLARE. BPM (Forum) Luca Geatti, Marco Montali, Andrey Rivkin
2023	J	`jnl`	GR(1) is equivalent to R(1). Inf. Process. Lett. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	C	`conf`	LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	C	`conf`	Qualitative past Timeline-Based Games (Extended Abstract). TIME Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
2023	C	`conf`	Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). TIME Luca Geatti, Alessandro Gianola, Nicola Gigante
2023	—	`conf`	Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA Luca Geatti, Angelo Montanari, Nicola Saccomanno
2022	B	`conf`	A first-order logic characterisation of safety and co-safety languages. FoSSaCS Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	A first-order logic characterization of safety and co-safety languages. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2022	—	`conf`	Controller Synthesis for Timeline-based Games. GandALF Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2022	J	`jnl`	Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR Luca Geatti, Alessandro Gianola, Nicola Gigante
2022	A*	`conf`	Linear Temporal Logic Modulo Theories over Finite Traces. IJCAI Luca Geatti, Alessandro Gianola, Nicola Gigante
2022	J	`jnl`	Reactive Synthesis for DECLARE via symbolic automata. CoRR Luca Geatti, Marco Montali, Andrey Rivkin
2022	—	`ed.`	Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. OVERLAY@AI*IA Luca Geatti, Guido Sciavicco, Alessandro Umbrico
2021	—	`conf`	BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF Luca Geatti, Nicola Gigante, Angelo Montanari
2021	—	`conf`	Expressiveness of Extended Bounded Response LTL. GandALF Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	B	`conf`	Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	J	`jnl`	One-pass and tree-shaped tableau systems for TPTL and TPTL Inf. Comput. Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2021	C	`conf`	Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
2020	B	`conf`	Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	J	`jnl`	Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	—	`conf`	Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
2019	B	`conf`	A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX Luca Geatti, Nicola Gigante, Angelo Montanari
2019	—	`conf`	An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS Luca Geatti, Federico Igne, Marino Miculan
2018	—	`conf`	One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds