Publications

This is the list of my current publications. You may also want to download everything as a single BibTeX file, or to look at the corresponding DBLP page.

Ph.D. thesis

My Ph.D. thesis, titled Timeline-based Planning: Expressiveness and Complexity, discussed many theoretical questions regarding the timeline-based approach to automated planning problems.

You can find it on the arXiv as the record n.° 1902.06123.

The following BibTeX file can be used to cite it.

Go to: Editorships | Journal papers | Conference papers

Editorships

2020

Nicola Gigante, Federico Mari, Andrea Orlandini, eds.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2019), CEUR Workshop Proceedings, volume 2509,
CEUR-WS.org

Journal papers

2020

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Information and Computation
, to appear on paper
On timeline-based games and their complexity
Theoretical Computer Science
, volume 815, pages 247‑269

Conference papers

2020

Reactive Synthesis from Extended Bounded Response LTL Specifications
Proceedings of the 20th Formal Methods in Computer Aided Design, FMCAD 2020,
to appear on paper
Complexity of qualitative timeline-based planning
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, TIME 2020,
pages 16:1‑16:13
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
Proceedings of the 34th AAAI Conference on Artificial Intelligence, AAAI 2020,
to appear on paper

2019

A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL
Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019,
pages 3‑20

2018

A Novel Automata-Theoretic Approach to Timeline-Based Planning
Proceedings of the 16th Principles of Knowledge Representation and Reasoning, KR 2018,
pages 541‑550
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018,
pages 176‑190
A Game-Theoretic Approach to Timeline-based Planning with Uncertainty
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, TIME 2018,
pages 13:1‑13:17

2017

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints
Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017,
pages 1008‑1014
Complexity of Timeline-based Planning
Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017,
pages 116‑124
A One-Pass Tree-Shaped Tableau for LTL + Past
Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2017,
pages 456‑473

2016

Timelines are Expressive Enough to Capture Action-Based Temporal Planning
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016,
pages 100‑109
A New Tableau-based Satisfiability Checker for Linear Temporal Logic (Extended Abstract)
Proceedings of the 39th German Conference on Artificial Intelligence, KI 2016,
pages 251‑256
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI 2016,
pages 950‑956

2015

Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
Proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015,
pages 587‑598