Publications

Superseded papers

2024

  1. David Speck and Daniel Gnad
    Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024). 2024.
  2. Paul Höft,  David Speck, Florian Pommerening and Jendrik Seipp
    Versatile Cost Partitioning with Exact Sensitivity Analysis
    In Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024). 2024.
  3. Daniel Gnad and David Speck
    On an Attempt at Casting Orbit Search as a Task Transformation
    In ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP). 2024.

2023

  1. Paul Höft,  David Speck and Jendrik Seipp
    Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning
    In Proceedings of the Twenty-Sixth European Conference on Artificial Intelligence (ECAI 2023). 2023.
  2. Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck
    PARIS: Planning Algorithms for Reconfiguring Independent Sets
    In Proceedings of the Twenty-Sixth European Conference on Artificial Intelligence (ECAI 2023). 2023.
  3. David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp
    Finding Matrix Multiplication Algorithms with Classical Planning
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 411–416. 2023.
  4. Gregor Behnke,  David Speck, Michael Katz and Shirin Sohrabi
    On Partial Satisfaction Planning with Total-Order HTNs
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 42–51. 2023.
  5. Dominik Drexler, Daniel Gnad, Paul Höft, Jendrik Seipp,  David Speck and Simon Ståhlberg
    Ragnarok
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
  6. Dominik Drexler, Jendrik Seipp and David Speck
    Odin: A Planner Based on Saturated Transition Cost Partitioning
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
  7. David Speck
    SymK – A Versatile Symbolic Search Planner
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
  8. Paul Höft,  David Speck and Jendrik Seipp
    Dofri: Planner Abstract
    In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.

2022

  1. Kilian Hu and David Speck
    On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE*
    In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pp. 91–99. 2022.
  2. Remo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck
    (PARIS) Planning Algorithms for Reconfiguring Independent Sets – Solver Description
    In First CoRe Challenge: Solver and Graph Descriptions, pp. 15–22. 2022.
  3. André Biedenkapp,  David Speck, Silvan Sievers, Frank Hutter, Marius Lindauer and Jendrik Seipp
    Learning Domain-Independent Policies for Open List Selection
    In ICAPS 2022 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2022.
  4. David Speck and Jendrik Seipp
    New Refinement Strategies for Cartesian Abstractions
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 348–352. 2022.
  5. Julian von Tschammer, Robert Mattmüller and David Speck
    Loopless Top-K Planning
    In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 380–384. 2022.
  6. David Speck
    Symbolic Search for Optimal Planning with Expressive Extensions
    PhD thesis, University of Freiburg, Germany, 2022.

2021

  1. David Speck, David Borukhson, Robert Mattmüller and Bernhard Nebel
    On the Compilability and Expressive Power of State-Dependent Action Costs
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 358–366. 2021.
  2. David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller and Marius Lindauer
    Learning Heuristic Selection with Dynamic Algorithm Configuration
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 597–605. 2021.
  3. Dominik Drexler, Jendrik Seipp and David Speck
    Subset-Saturated Transition Cost Partitioning
    In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 131–139. 2021.
  4. David Speck and Michael Katz
    Symbolic Search for Oversubscription Planning
    In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 11972–11980. 2021.
  5. Gregor Behnke and David Speck
    Symbolic Search for Optimal Total-Order HTN Planning
    In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 11744–11754. 2021.

2020

  1. David Speck, Florian Geißer and Robert Mattmüller
    When Perfect is not Good Enough: On the Search Behaviour of Symbolic Heuristic Search
    In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 263–271. 2020.
  2. David Speck, Robert Mattmüller and Bernhard Nebel
    Symbolic Top-k Planning
    In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), pp. 9967–9974. 2020.
  3. Florian Geißer,  David Speck and Thomas Keller
    Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces
    In Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), pp. 38–47. 2020.

2019

  1. David Speck, Florian Geißer, Robert Mattmüller and Álvaro Torralba
    Symbolic Planning with Axioms
    In Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 464–572. 2019.
  2. Sumitra Corraya, Florian Geißer,  David Speck and Robert Mattmüller
    An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
    In Proceedings of the 42nd Annual German Conference on Artificial Intelligence (KI 2019), pp. 123–130. 2019.
  3. Florian Geißer,  David Speck and Thomas Keller
    An Analysis of the Probabilistic Track of the IPC 2018
    In ICAPS 2019 Workshop on the International Planning Competition (WIPC), pp. 27–35. 2019.
  4. Olga Speck, Rafael Horn,  David Speck, Johannes Gantner and Philip Leistner
    Biomimetics meets Sustainability
    In Bionik: Patente aus der Natur. Tagungsbeiträge zum 9. Bionik-Kongress, pp. 81–91. 2019.

2018

  1. David Speck, Florian Geißer and Robert Mattmüller
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams
    In Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
  2. Florian Geißer and David Speck
    Prost-DD – Utilizing Symbolic Classical Planning in THTS
    In Sixth International Probabilistic Planning Competition (IPPC-6): Planner Abstracts, pp. 13–16. 2018.
  3. David Speck, Florian Geißer and Robert Mattmüller
    SYMPLE: Symbolic Planning based on EVMDDs
    In Ninth International Planning Competition (IPC-9): Planner Abstracts, pp. 82–85. 2018.

2017

  1. David Speck, Christian Dornhege and Wolfram Burgard
    Shakey 2016 – How Much Does it Take to Redo Shakey the Robot?
    IEEE Robotics and Automation Letters (RA-L) 2.2, pp. 1203–1209. 2017.
  2. Olga Speck,  David Speck, Rafael Horn, Johannes Gantner and Klaus Peter Sedlbauer
    Biomimetic bio-inspired biomorph sustainable? An attempt to classify and clarify biology-derived technical developments
    Bioinspiration and Biomimetics 12.1, pp. 011004. 2017.

2015

  1. David Speck, Manuela Ortlieb and Robert Mattmüller
    Necessary Observations in Nondeterministic Planning
    In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 181–193. 2015.