Publications

Conference publications
Journal publications
Workshop publications
Other publications
Superseded publications

2025

  1. David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte and Augusto B. Corrêa #
    Counting and Reasoning with Plans
    In Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2025), pp. 26688–26696. 2025.
  1. David Speck, Jendrik Seipp and Torralba #
    Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions
    Journal of Artificial Intelligence Research 82, pp. 1349–1405. 2025.

      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), pp. 546–554. 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), pp. 276–280. 2024.
        1. 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), pp. 1044–1051. 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), pp. 453–460. 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.
              1. 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.
              2. 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.
              3. David Speck #
                SymK – A Versatile Symbolic Search Planner
                In Tenth International Planning Competition (IPC-10): Planner Abstracts. 2023.
              4. 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. 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.
              3. 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.
                1. 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.
                1. David Speck #
                  Symbolic Search for Optimal Planning with Expressive Extensions
                  PhD thesis, University of Freiburg, Germany, 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.

                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. 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.
                              1. 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.

                                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.
                                    1. 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.
                                    2. 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.