Nicola Gigante

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 52

Top Topics

Extended Abstract

Modulo Theories

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)
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, Nicola Gigante, Angelo Montanari, Gabriele Venturato
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68 (2) (2024)
Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. IEEE ACM Trans. Comput. Biol. Bioinform. 21 (1) (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)
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Standpoint Linear Temporal Logic. CoRR (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)
Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali
Declare MoGeS: Model Generator and Specializer. ICPM Doctoral Consortium / Demo (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
Qualitative past Timeline-Based Games (Extended Abstract). TIME (2023)
Nicola Gigante, Enrico Scala
On the Compilability of Bounded Numeric Planning. IJCAI (2023)
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Standpoint Linear Temporal Logic. KR (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
Controller Synthesis for Timeline-based Games. CoRR (2023)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307 (2022)
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, Alessandro Gianola, Nicola Gigante
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). CoRR (2022)
Alessandro Gianola, Nicola Gigante
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. OVERLAY@AI*IA (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)
Nicola Gigante, Andrea Micheli, Enrico Scala
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. KR (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)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI (2020)
Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
Complexity of Qualitative Timeline-Based Planning. TIME (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR (2020)
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
On timeline-based games and their complexity. Theor. Comput. Sci. 815 (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)
Nicola Gigante
Timeline-based planning: Expressiveness and Complexity. CoRR (2019)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A game-theoretic approach to timeline-based planning with uncertainty. CoRR (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME (2018)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF (2018)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR (2018)
Nicola Gigante
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning. IJCAI (2017)
Nicola Gigante, Angelo Montanari, Mark Reynolds
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR (2017)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
Complexity of Timeline-Based Planning. ICAPS (2017)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI (2017)
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI (2016)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME (2016)
Alberto Policriti, Nicola Gigante, Nicola Prezza
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. LATA (2015)