Gigante, Nicola

8 publications

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

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

IJCAI 2023 On the Compilability of Bounded Numeric Planning Nicola Gigante, Enrico Scala

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

AAAI 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

IJCAI 2017 Bounded Timed Propositional Temporal Logic with past Captures Timeline-Based Planning with Bounded Constraints Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco

IJCAI 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning Nicola Gigante

IJCAI 2016 Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds