Nicola Gigante

63 papers A* 14A 1B 5C 9Journal 23Unranked 10
YearRankTypeTitle / Venue / Authors
2025 C conf
An Introduction to First-Order Linear Temporal Logic (Invited Talk).
TIME
Nicola Gigante
2025 A* conf
Counterfactual Scenarios for Automated Planning.
KR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 J jnl
Counterfactual Scenarios for Automated Planning.
CoRR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 A* conf
First-Order Automata.
AAAI
Luca Geatti, Alessandro Gianola, Nicola Gigante
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 — conf
A Declarative Framework for Temporal Reasoning in Green-Aware Applications.
GreenAI@AI*IA
Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024 J jnl
A General Automata Model for First-Order Temporal Logics (Extended Version).
CoRR
Luca Geatti, Alessandro Gianola, Nicola Gigante
2024 J jnl
Controller Synthesis for Timeline-based Games.
Log. Methods Comput. Sci.
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
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 J jnl
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza
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 — 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 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
Declare MoGeS: Model Generator and Specializer.
ICPM Doctoral Consortium / Demo
Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali
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 A* conf
On the Compilability of Bounded Numeric Planning.
IJCAI
Nicola Gigante, Enrico Scala
2023 C conf
Qualitative past Timeline-Based Games (Extended Abstract).
TIME
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
2023 A* conf
Standpoint Linear Temporal Logic.
KR
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
2023 J jnl
Standpoint Linear Temporal Logic.
CoRR
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
2023 C conf
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).
TIME
Luca Geatti, Alessandro Gianola, Nicola Gigante
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
Decidability and complexity of action-based temporal planning over dense time.
Artif. Intell.
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2022 — conf
LTL Modulo Theories over Finite Traces: modeling, verification, open questions.
OVERLAY@AI*IA
Alessandro Gianola, Nicola Gigante
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 A* conf
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
KR
Nicola Gigante, Andrea Micheli, Enrico Scala
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 C conf
Complexity of Qualitative Timeline-Based Planning.
TIME
Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
2020 A* conf
Decidability and Complexity of Action-Based Temporal Planning over Dense Time.
AAAI
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2020 J jnl
On timeline-based games and their complexity.
Theor. Comput. Sci.
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
2020 — ed.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019.
OVERLAY@AI*IA
Nicola Gigante, Federico Mari, Andrea Orlandini
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
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 J jnl
Timeline-based planning: Expressiveness and Complexity.
CoRR
Nicola Gigante
2018 C conf
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.
TIME
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018 A* conf
A Novel Automata-Theoretic Approach to Timeline-Based Planning.
KR
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
2018 J jnl
A game-theoretic approach to timeline-based planning with uncertainty.
CoRR
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018 — conf
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past.
GandALF
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2017 B conf
A One-Pass Tree-Shaped Tableau for LTL+Past.
LPAR
Nicola Gigante, Angelo Montanari, Mark Reynolds
2017 A* conf
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
IJCAI
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
2017 A* conf
Complexity of Timeline-Based Planning.
ICAPS
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
2017 A* conf
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning.
IJCAI
Nicola Gigante
2016 A* conf
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.
IJCAI
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
2016 C conf
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.
TIME
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
2015 C conf
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform.
LATA
Alberto Policriti, Nicola Gigante, Nicola Prezza