David Speck

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 23

Top Topics

Heuristic Search

Classical Planning

Top Venues

Publications

David Speck, Daniel Gnad
Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning. ICAPS (2024)
Paul Höft, David Speck, Florian Pommerening, Jendrik Seipp
Versatile Cost Partitioning with Exact Sensitivity Analysis. ICAPS (2024)
David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp
Finding Matrix Multiplication Algorithms with Classical Planning. ICAPS (2023)
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI (2023)
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS (2023)
Paul Höft, David Speck, Jendrik Seipp
Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning. ECAI (2023)
David Speck
Symbolic Search for Optimal Planning with Expressive Extensions. CoRR (2022)
Kilian Hu, David Speck
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE. SOCS (2022)
Julian von Tschammer, Robert Mattmüller, David Speck
Loopless Top-K Planning. ICAPS (2022)
David Speck, Jendrik Seipp
New Refinement Strategies for Cartesian Abstractions. ICAPS (2022)
Dominik Drexler, Jendrik Seipp, David Speck
Subset-Saturated Transition Cost Partitioning. ICAPS (2021)
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
Learning Heuristic Selection with Dynamic Algorithm Configuration. ICAPS (2021)
David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel
On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS (2021)
David Speck, Michael Katz
Symbolic Search for Oversubscription Planning. AAAI (2021)
Gregor Behnke, David Speck
Symbolic Search for Optimal Total-Order HTN Planning. AAAI (2021)
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
Learning Heuristic Selection with Dynamic Algorithm Configuration. CoRR (2020)
David Speck, Florian Geißer, Robert Mattmüller
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search. ICAPS (2020)
Florian Geißer, David Speck, Thomas Keller
Trial-Based Heuristic Tree Search for MDPs with Factored Action Spaces. SOCS (2020)
David Speck, Robert Mattmüller, Bernhard Nebel
Symbolic Top-k Planning. AAAI (2020)
David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba
Symbolic Planning with Axioms. ICAPS (2019)
Sumitra Corraya, Florian Geißer, David Speck, Robert Mattmüller
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. KI (2019)
David Speck, Florian Geißer, Robert Mattmüller
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams. ICAPS (2018)
David Speck, Christian Dornhege, Wolfram Burgard
Shakey 2016 - How Much Does it Take to Redo Shakey the Robot? IEEE Robotics Autom. Lett. 2 (2) (2017)
David Speck, Manuela Ortlieb, Robert Mattmüller
Necessary Observations in Nondeterministic Planning. KI (2015)