Uni-Logo

David Speck – Publications

(Show all abstracts) (Hide all abstracts)

2020

  • David Speck, Robert Mattmüller and Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20). 2020.
    To appear.
    (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; 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)

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