David Speck – Publications

(Show all abstracts) (Hide all abstracts)


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


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


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