PUBLICATIONS

Most of the following list of publications is automatically extracted from my DBLP page.

Journal articles

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

Succinctness issues for LTLf and safety and cosafety fragments of LTL

Inf. Comput., 302, 105262

BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis.

Formal Methods Syst. Des., 64(1), 1-49

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

SAT Meets Tableaux for Linear Temporal Logic Satisfiability.

J. Autom. Reason., 68(2), 6

Full Text BibTeX

Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti

Controller Synthesis for Timeline-based Games.

Log. Methods Comput. Sci., 20(3), accepted for publication

Full Text

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), 427-453

Full Text BibTeX

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), 106-119

Full Text BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

GR(1) is equivalent to R(1).

Inf. Process. Lett., 179, 106319

Full Text BibTeX

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), accepted for publication

Full Text

Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

Decidability and complexity of action-based temporal planning over dense time.

Artif. Intell., 307, 103686

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past.

Inf. Comput., 278, 104599

Full Text BibTeX

Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds

On timeline-based games and their complexity.

Theor. Comput. Sci., 815, 247-269

Full Text BibTeX

Conference papers

Luca Geatti, Alessandro Gianola, Nicola Gigante

First-Order Automata.

AAAI 2025, 14940-14948

Full Text BibTeX

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella

SMT-Based Symbolic Model-Checking for Operator Precedence Languages.

CAV (1) 2024, 387-408

Full Text BibTeX

Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo

A Declarative Framework for Temporal Reasoning in Green-Aware Applications.

GreenAI@AI*IA 2024, 40-49

Full Text BibTeX

Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization.

GandALF 2024, 5-18

Full Text BibTeX

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

Complexity of Safety and coSafety Fragments of Linear Temporal Logic.

AAAI 2023, 6236-6244

Full Text BibTeX

Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler

Decidable Fragments of LTLf Modulo Theories.

ECAI 2023, 811-818

Full Text BibTeX

Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali

Declare MoGeS: Model Generator and Specializer.

ICPM Doctoral Consortium / Demo 2023, accepted for publication

Full Text

Nicola Gigante, Enrico Scala

On the Compilability of Bounded Numeric Planning.

IJCAI 2023, 5341-5349

Full Text BibTeX

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.

KR 2023, 65-74

Full Text BibTeX

Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon

Standpoint Linear Temporal Logic.

KR 2023, 311-321

Full Text BibTeX

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, 85-92

Full Text BibTeX

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, 2:1-2:14

Full Text BibTeX

Luca Geatti, Alessandro Gianola, Nicola Gigante

Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).

TIME 2023, 21:1-21:3

Full Text BibTeX

Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari

Qualitative past Timeline-Based Games (Extended Abstract).

TIME 2023, 22:1-22:3

Full Text BibTeX

Alessandro Gianola, Nicola Gigante

LTL Modulo Theories over Finite Traces: modeling, verification, open questions.

OVERLAY@AI*IA 2022, 13-19

Full Text BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

A first-order logic characterisation of safety and co-safety languages.

FoSSaCS 2022, 244-263

Full Text BibTeX

Luca Geatti, Alessandro Gianola, Nicola Gigante

Linear Temporal Logic Modulo Theories over Finite Traces.

IJCAI 2022, 2641-2647

Full Text BibTeX

Nicola Gigante, Andrea Micheli, Enrico Scala

On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.

KR 2022, accepted for publication

Full Text

Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti

Controller Synthesis for Timeline-based Games.

GandALF 2022, 131-146

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari

BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker.

OVERLAY@GandALF 2021, 7-12

Full Text BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis.

SEFM 2021, 351-371

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

TIME 2021, 8:1-8:17

Full Text BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Expressiveness of Extended Bounded Response LTL.

GandALF 2021, 152-165

Full Text BibTeX

Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

Decidability and Complexity of Action-Based Temporal Planning over Dense Time.

AAAI 2020, 9859-9866

Full Text BibTeX

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Reactive Synthesis from Extended Bounded Response LTL Specifications.

FMCAD 2020, 83-92

Full Text BibTeX

Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari

Complexity of Qualitative Timeline-Based Planning.

TIME 2020, 16:1-16:13

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL.

TABLEAUX 2019, 3-20

Full Text BibTeX

Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala

A Novel Automata-Theoretic Approach to Timeline-Based Planning.

KR 2018, 541-550

Full Text BibTeX

Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.

TIME 2018, 13:1-13:17

Full Text BibTeX

Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past.

GandALF 2018, 176-190

Full Text BibTeX

Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini

Complexity of Timeline-Based Planning.

ICAPS 2017, 116-124

Full Text BibTeX

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, 1008-1014

Full Text BibTeX

Nicola Gigante

On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning.

IJCAI 2017, 5181-5182

Full Text BibTeX

Nicola Gigante, Angelo Montanari, Mark Reynolds

A One-Pass Tree-Shaped Tableau for LTL+Past.

LPAR 2017, 456-473

Full Text BibTeX

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, 950-956

Full Text BibTeX

Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.

TIME 2016, 100-109

Full Text BibTeX

Alberto Policriti, Nicola Gigante, Nicola Prezza

Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform.

LATA 2015, 587-598

Full Text BibTeX