Nicola Gigante

Researcher (RTD/a)

Free University of Bozen-Bolzano, Italy

nicola.gigante@unibz.it

Main research interests

Temporal Reasoning in AI, Logic in Computer Science, Formal Methods.
See the list of publications.

Teaching

I teach Computer Systems Architecture. All the information can be found on OLE.

News

JAR article accepted!

Great news! Our article,

SAT Meets Tableaux for Linear Temporal Logic Satisfiability

joint work with Luca Geatti, Angelo Montanari, and Gabriele Venturato, has been published in the Journal of Automated Reasoning !

OVERLAY 23 paper accepted!

Good news! Our paper,

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies

joint work with Alessandro Artale, Luca Geatti, and Andrea Mazzullo, has been accepted for publication at the OVERLAY 2023 workshop! See you all in Rome!

SoSyM article accepted!

Great news! Our article,

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

joint work with Alessandro Cimatti, Luca Geatti, and Angelo Montanari, and Stefano Tonetta, has been accepted for publication in the Software and Systems Modeling journal! Enjoy!

ECAI 23 paper accepted!

More news! Our paper,

Decidable Fragments of LTLf Modulo Theories

joint work with Luca Geatti, Alessandro Gianola, and Sarah Winkler, has been accepted for publication at the ECAI 2023 conference! See you all in Krakov!

TIME 23 paper accepted!

Great news! Our paper,

LTL over finite words can be exponentially more succinct than pure-past LTL, and vice versa

joint work with Alessandro Artale, Luca Geatti, Andrea Mazzullo, and Angelo Montanari, has been accepted for publication at the TIME 2023 conference! See you all in Athens!

KR 23 papers accepted!

Great news! We have two new papers accepted at the KR 2023 conference!

The first is titled A singly exponential transformation of LTL[X, F] into pure past LTL, joint work with Alessandro Artale, Luca Geatti, Andrea Mazzullo, and Angelo Montanari.

The second is titled Standpoint Linear Temporal Logic, joint work with Lucía Gómez Álvarez and Tim Lyon.

See you in Rhodes!

IJCAI 23 paper accepted!

Great news! Our paper,

On the Compilability of Bounded Numeric Planning

joint work with Enrico Scala, has been accepted for publication at the IJCAI 2023 conference! See you all in Macao!

AAAI 23 paper accepted!

Great news! Our paper,

Complexity of Safety and coSafety Fragments of Linear Temporal Logic

joint work with Luca Geatti, Andrea Mazzullo, Angelo Montanari and Alessandro Artale, has been accepted for publication at the AAAI 2023 conference! See you all in Washington DC!

OVERLAY 22 paper accepted!

Good news! Our paper,

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

joint work with Alessandro Gianola, has been accepted for publication at the OVERLAY 2022 workshop! See you all in Udine!

GandALF 22 paper invited to LMCS special issue!

Good news! Our paper,

Controller synthesis for Timeline-based games

joint work with Renato Acampora, Luca Geatti, Angelo Montanari and Valentino Picotti, has been invited to a special issue, dedicated to GandALF 22, in the Logical Methods in Computer Science journal. Enjoy!

AAAI 23 lab proposal accepted!

Good news! Our proposal titled

Hands-on with the BLACK satisfiability checker

made together with Luca Geatti, has been accepted as an hands-on laboratory at the AAAI 23 conference! This will be a great opportunity to increase the reach of our cutting-edge tool. See you in Washington DC!

IPL article accepted!

Good news! Our article,

GR(1) is equivalent to R(1)

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been accepted for publication in the Information Processing Letters journal! Enjoy!

GandALF 22 paper accepted!

Good news! Our paper,

Controller synthesis for Timeline-based games

joint work with Renato Acampora, Luca Geatti, Angelo Montanari and Valentino Picotti, has been accepted for publication at the GandALF 2022 conference! Enjoy!

AIPlan4EU project proposal accepted!

Good news! My project proposal for the 1st Open Call for Innovators of the the H2020 project AIPlan4EU has been accepted!

The project aims at integrating BLACK as a planning engine into their Unified Planning Framework (UPF). This project will result into the development of a planner called PURPLE, based on BLACK as a backend, that will be integrated into UPF or be usable stand-alone.

Enjoy!

ICAPS 22 Journal Track presentation accepted!

Good news! Our paper,

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

joint work with Andrea Micheli, Angelo Montanari and Enrico Scala, recently published in Artificial Intelligence, has been accepted for presentation at the ICAPS 2022 Journal Track! Enjoy!

IJCAI-ECAI 22 paper accepted!

Good news! Our paper,

Linear Temporal Logic Modulo Theories over Finite Traces

joint work with Luca Geatti and Alessandro Gianola, has been accepted for publication at the IJCAI-ECAI 2022 conference! Enjoy!

KR 22 paper accepted!

Good news! Our paper,

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

joint work with Andrea Micheli and Enrico Scala, has been accepted for publication at the KR 2022 conference! Enjoy!

IJCAI 22 tutorial accepted!

Good news! Our tutorial proposal, titled

Tableau methods for linear-time temporal logics

to be presented together with Luca Geatti and Angelo Montanari has been accepted for presentation at the IJCAI 2022 conference!

The detailed program can be found here. See you in Vienna!

AIJ paper accepted!

Good news! Our journal article,

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

joint work with Andrea Micheli, Angelo Montanari, and Enrico Scala, has been accepted for publication in the Artificial Intelligence journal! Enjoy!

FoSSaCS paper accepted!

Good news! Our paper,

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

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been accepted for publication at the FoSSaCS 2022 conference! Enjoy and happy holidays!

Best Paper Award at SEFM 2021!

Good news! Our paper,

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been given the Best Paper Award at the SEFM 2021 conference! Congratulations to all co-authors and especially to Luca who has been the main drive behind this work.

SEFM paper accepted!

Good news! Our paper,

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been accepted for publication at the SEFM 2021 conference! Enjoy!

FMSD paper accepted!

Good news! Our journal article,

Extended Bounded Response LTL: a New Safety Fragment for Efficient Reactive Synthesis

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been accepted for publication in the Formal Methods in Systems Design journal! Enjoy!

OVERLAY 2021 paper accepted!

Good news! Our extended abstract,

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

joint work with Luca Geatti and Angelo Montanari, has been accepted at the OVERLAY 2021 workshop! Enjoy!

GandALF 2021 paper accepted!

Good news! Our paper,

Expressiveness of Extended Bounded Response LTL,

joint work with Alessandro Cimatti, Luca Geatti, Angelo Montanari, and Stefano Tonetta, has been accepted at the GandALF 2021 conference! Enjoy!

Talk accepted at the ESSLLI 2021 Workshop on Automated Synthesis!

Our talk proposal about LTLEBR has been accepted at the Workshop on Automated Synthesis to be held at the ESSLLI 2021 summer school! Enjoy!

TIME 2021 paper accepted!

Our paper,

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

joint work with Luca Geatti, Angelo Montanari, and Gabriele Venturato, has been accepted at the TIME 2021 symposium! Enjoy!

Highlights 2021 talk accepted!

My talk proposal about BLACK has been accepted for presentation at Highlights 2021!
See you there (virtually)!

New website online!

I have a new website! Enjoy!