Geatti, Luca

5 publications

AAAI 2025 First-Order Automata Luca Geatti, Alessandro Gianola, Nicola Gigante

AAAI 2024 Foundations of Reactive Synthesis for Declarative Process Specifications Luca Geatti, Marco Montali, Andrey Rivkin

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

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

IJCAI 2022 Linear Temporal Logic Modulo Theories over Finite Traces Luca Geatti, Alessandro Gianola, Nicola Gigante