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.

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
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
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