Presentations and Tutorials
This page provides downloadable slides of a selection of recent talks and presentations.
Tableau methods for linear-time temporal logics
Luca Geatti, Nicola Gigante, Angelo Montanari
31st International Joint Conference on Artificial Intelligence (IJCAI 22)
How hard can it be? The computational complexity of planning
Nicola Gigante
33rd International Conference on Automated Planning and Scheduling (ICAPS 23)