Speck, David

6 publications

AAAI 2025 Counting and Reasoning with Plans David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa

IJCAI 2025 Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract) David Speck, Daniel Gnad

JAIR 2025 Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions David Speck, Jendrik Seipp, Álvaro Torralba

AAAI 2021 Symbolic Search for Optimal Total-Order HTN Planning Gregor Behnke, David Speck

AAAI 2021 Symbolic Search for Oversubscription Planning David Speck, Michael Katz

AAAI 2020 Symbolic Top-K Planning David Speck, Robert Mattmüller, Bernhard Nebel