David Speck

34 papers A* 19A 4B 2Misc 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — conf
AxSAT - Bringing Axioms to SAT Planning.
JELIA (2)
Gregor Behnke, David Speck, Daniel Gnad
2025 A* conf
Counting and Reasoning with Plans.
AAAI
David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025 J jnl
Counting and Reasoning with Plans.
CoRR
David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa
2025 A* conf
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract).
IJCAI
David Speck, Daniel Gnad
2025 A* conf
Interactive Exploration of Plan Spaces.
KR
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte
2025 A conf
Merging Cartesian Abstractions for Classical Planning.
ECAI
Mauricio Salerno, Raquel Fuentetaja, David Speck, Jendrik Seipp
2025 A conf
On Performance Guarantees for Symbolic Search in Classical Planning.
ECAI
David Speck, Malte Helmert
2025 A* conf
Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning.
KR
Paul Höft, David Speck, Jendrik Seipp
2025 J jnl
Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions.
J. Artif. Intell. Res.
David Speck, Jendrik Seipp, Álvaro Torralba
2024 A* conf
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
ICAPS
David Speck, Daniel Gnad
2024 A* conf
Versatile Cost Partitioning with Exact Sensitivity Analysis.
ICAPS
Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp
2023 A* conf
Finding Matrix Multiplication Algorithms with Classical Planning.
ICAPS
David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp
2023 A* conf
On Partial Satisfaction Planning with Total-Order HTNs.
ICAPS
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
2023 A conf
PARIS: Planning Algorithms for Reconfiguring Independent Sets.
ECAI
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
2023 A conf
Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning.
ECAI
Paul Höft, David Speck, Jendrik Seipp
2022 A* conf
Loopless Top-K Planning.
ICAPS
Julian von Tschammer, Robert Mattmüller, David Speck
2022 A* conf
New Refinement Strategies for Cartesian Abstractions.
ICAPS
David Speck, Jendrik Seipp
2022 B conf
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE.
SOCS
Kilian Hu, David Speck
2022 J jnl
Symbolic Search for Optimal Planning with Expressive Extensions.
CoRR
David Speck
2022 — —
Symbolic search for optimal planning with expressive extensions
David Speck
2021 A* conf
Learning Heuristic Selection with Dynamic Algorithm Configuration.
ICAPS
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
2021 A* conf
On the Compilability and Expressive Power of State-Dependent Action Costs.
ICAPS
David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel
2021 A* conf
Subset-Saturated Transition Cost Partitioning.
ICAPS
Dominik Drexler, Jendrik Seipp, David Speck
2021 A* conf
Symbolic Search for Optimal Total-Order HTN Planning.
AAAI
Gregor Behnke, David Speck
2021 A* conf
Symbolic Search for Oversubscription Planning.
AAAI
David Speck, Michael Katz
2020 J jnl
Learning Heuristic Selection with Dynamic Algorithm Configuration.
CoRR
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
2020 A* conf
Symbolic Top-k Planning.
AAAI
David Speck, Robert Mattmüller, Bernhard Nebel
2020 B conf
Trial-Based Heuristic Tree Search for MDPs with Factored Action Spaces.
SOCS
Florian Geißer, David Speck, Thomas Keller
2020 A* conf
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search.
ICAPS
David Speck, Florian Geißer, Robert Mattmüller
2019 Misc conf
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning.
KI
Sumitra Corraya, Florian Geißer, David Speck, Robert Mattmüller
2019 A* conf
Symbolic Planning with Axioms.
ICAPS
David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba
2018 A* conf
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
ICAPS
David Speck, Florian Geißer, Robert Mattmüller
2017 J jnl
Shakey 2016 - How Much Does it Take to Redo Shakey the Robot?
IEEE Robotics Autom. Lett.
David Speck, Christian Dornhege, Wolfram Burgard
2015 Misc conf
Necessary Observations in Nondeterministic Planning.
KI
David Speck, Manuela Ortlieb, Robert Mattmüller