Uni-Logo

David Speck – Publications

(Show all abstracts) (Hide all abstracts)

2021

  • 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 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 358-366. 2021.
    (Show abstract) (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller and Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 597-605. 2021.
    (Show abstract) (PDF)

  • Dominik Drexler, Jendrik Seipp and David Speck.
    Subset-Saturated Transition Cost Partitioning.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 131-139. 2021.
    (Show abstract) (PDF)

  • David Speck and Michael Katz.
    Symbolic Search for Oversubscription Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 11972-11980. 2021.
    (Show abstract) (PDF)

  • Gregor Behnke and David Speck.
    Symbolic Search for Optimal Total-Order HTN Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), p. 11744–11754. 2021.
    (Show abstract) (PDF)

2020

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller and Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL 2020), p. 61–69. 2020.
    Superseded by the ICAPS 2021 paper by the same authors.
    (Show abstract) (PDF)

  • Dominik Drexler, David Speck and Robert Mattmüller.
    Subset-Saturated Transition Cost Partitioning for Optimal Classical Planning.
    In Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2020), p. 23–31. 2020.
    Superseded by the ICAPS 2021 paper "Subset-Saturated Transition Cost Partitioning".
    (Show abstract) (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller and Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    Technical Report arXiv:2006.08246, arxiv cs.AI, 2020.
    Superseded by the PRL 2020 paper by the same authors.
    (Show abstract) (PDF; Online)

  • 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 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 263-271. 2020.
    (Show abstract) (PDF)

  • 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.
    (Show abstract) (PDF)

  • David Speck, Robert Mattmüller and Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pp. 9967-9974. 2020.
    (Show abstract) (PDF)

2019

  • 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 42th German Conference on Artificial Intelligence (KI 2019), pp. 123-130. 2019.
    (Show abstract) (PDF) (PDF; Online)

  • Florian Geißer, David Speck and Thomas Keller.
    An Analysis of the Probabilistic Track of the IPC 2018.
    In Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), pp. 27-35. 2019.
    (Show abstract) (PDF)

  • David Speck, Florian Geißer, Robert Mattmüller and Álvaro Torralba.
    Symbolic Planning with Axioms.
    In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 464-572. 2019.
    (Show abstract) (PDF)

  • Olga Speck, Rafael Horn, David Speck and Johannes Gantner and Philip Leistner.
    Biomimetics meets Sustainability.
    In Bionik: Patente aus der Natur. Tagungsbeiträge zum 9. Bionik-Kongress in Bremen, pp. 81-91. 2019.
    (Show abstract) (PDF; Online)

2018

  • David Speck, Florian Geißer and Robert Mattmüller.
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Show abstract) (PDF) (technical report with proofs; PDF)

  • Florian Geißer and David Speck.
    PROST-DD - Utilizing Symbolic Classical Planning in THTS.
    In The 6th International Probabilistic Planning Competition (IPPC 2018), pp. 13-16. 2018.
    (Show abstract) (PDF)

  • David Speck, Florian Geißer and Robert Mattmüller.
    SYMPLE: Symbolic Planning based on EVMDDs.
    In The 9th International Planning Competition (IPC 2018), pp. 82-85. 2018.
    (Show abstract) (PDF)

2017

  • 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.
    (Show abstract) (PDF; Online)

  • Olga Speck, David Speck, Rafael Horn and Johannes Gantner and Klaus Peter Sedlbauer.
    Biomimetic bio-inspired biomorph sustainable? An attempt to classify and clarify biology-derived technical developments.
    Bioinspiration & Biomimetics (B&B) 12 (1), p. 011004. 2017.
    (Show abstract) (PDF; Online)

2015

  • David Speck, Manuela Ortlieb and Robert Mattmüller.
    Necessary Observations in Nondeterministic Planning.
    In Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015). 2015.
    (Show abstract) (PDF) (BIB)