David Speck Publications
(Show all abstracts) (Hide all abstracts)
2025
-
David Speck, Jendrik Seipp and Álvaro Torralba.
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions.
Journal of Artificial Intelligence Research 82, pp. 1349-1405. 2025.
(Show abstract) (PDF) (code, scripts and data)
-
David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte and Augusto B. Corrêa.
Counting and Reasoning with Plans.
In Proceedings of 39th AAAI Conference on Artificial Intelligence (AAAI 2025). 2025.
(Show abstract) (PDF) (code, scripts and data)
2024
-
David Speck and Daniel Gnad.
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 546-554. 2024.
(Show abstract) (PDF) (appendix, code, scripts and data)
-
Paul Höft, David Speck, Florian Pommerening and Jendrik Seipp.
Versatile Cost Partitioning with Exact Sensitivity Analysis.
In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 276-280. 2024.
(Show abstract) (PDF) (code, scripts and data)
-
Daniel Gnad and David Speck.
On an Attempt at Casting Orbit Search as a Task Transformation.
In Proceedings of the ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP 2024). 2024.
(Show abstract) (PDF)