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 !
Temporal Reasoning in AI, Logic in Computer Science, Formal Methods.
See the list of publications.
I teach Computer Systems Architecture. All the information can be found on OLE.
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 !
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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!
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.
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!
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!
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!
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!
Our talk proposal about LTLEBR has been accepted at the Workshop on Automated Synthesis to be held at the ESSLLI 2021 summer school! Enjoy!
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!
My talk proposal about
BLACK has been accepted
for presentation at
Highlights 2021!
See you there (virtually)!
I have a new website! Enjoy!