Uni-Logo

David Speck – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2021

  • David Speck, David Borukhson, Robert Mattmüller und 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), S. 358-366. 2021.
    (Abstract einblenden) (PDF)

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

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

  • David Speck und Michael Katz.
    Symbolic Search for Oversubscription Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), S. 11972-11980. 2021.
    (Abstract einblenden) (PDF)

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

2020

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller und 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), S. 61–69. 2020.
    Superseded by the ICAPS 2021 paper by the same authors.
    (Abstract einblenden) (PDF)

  • Dominik Drexler, David Speck und 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), S. 23–31. 2020.
    Superseded by the ICAPS 2021 paper "Subset-Saturated Transition Cost Partitioning".
    (Abstract einblenden) (PDF)

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

  • David Speck, Florian Geißer und 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), S. 263-271. 2020.
    (Abstract einblenden) (PDF)

  • Florian Geißer, David Speck und 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), S. 38-47. 2020.
    (Abstract einblenden) (PDF)

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

2019

  • Sumitra Corraya, Florian Geißer, David Speck und 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), S. 123-130. 2019.
    (Abstract einblenden) (PDF) (PDF; Online)

  • Florian Geißer, David Speck und 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), S. 27-35. 2019.
    (Abstract einblenden) (PDF)

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

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

2018

  • David Speck, Florian Geißer und 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.
    (Abstract einblenden) (PDF) (technical report with proofs; PDF)

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

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

2017

  • David Speck, Christian Dornhege und Wolfram Burgard.
    Shakey 2016 - How Much Does it Take to Redo Shakey the Robot?
    IEEE Robotics and Automation Letters (RA-L) 2 (2), S. 1203-1209. 2017.
    (Abstract einblenden) (PDF; Online)

  • Olga Speck, David Speck, Rafael Horn und 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), S. 011004. 2017.
    (Abstract einblenden) (PDF; Online)

2015

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