Follow
David Speck
Title
Cited by
Cited by
Year
Biomimetic bio-inspired biomorph sustainable? An attempt to classify and clarify biology-derived technical developments
O Speck, D Speck, R Horn, J Gantner, KP Sedlbauer
Bioinspiration & Biomimetics 12 (1), 011004, 2017
1572017
Symbolic top-k planning
D Speck, R Mattmüller, B Nebel
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9967-9974, 2020
462020
Learning Heuristic Selection with Dynamic Algorithm Configuration
D Speck, A Biedenkapp, F Hutter, R Mattmüller, M Lindauer
31st International Conference on Automated Planning and Scheduling (ICAPS …, 2021
282021
SYMPLE: Symbolic Planning based on EVMDDs
D Speck, R Geißer, Florian Mattmüller
Ninth International Planning Competition (IPC-9): planner abstracts, 91-94, 2018
232018
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams
D Speck, F Geißer, R Mattmüller
28th International Conference on Automated Planning and Scheduling (ICAPS …, 2018
212018
Shakey 2016 — How Much Does it Take to Redo Shakey the Robot?
D Speck, C Dornhege, W Burgard
IEEE Robotics and Automation Letters 2 (2), 1203-1209, 2017
162017
When Perfect is not Good Enough: On the Search Behaviour of Symbolic Heuristic Search
D Speck, F Geißer, R Mattmüller
30th International Conference on Automated Planning and Scheduling (ICAPS …, 2020
152020
Symbolic Search for Optimal Total-Order HTN Planning
G Behnke, D Speck
Proceedings of the AAAI Conference on Artificial Intelligence 35, 2021
112021
Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces
F Geißer, D Speck, T Keller
Thirteenth Annual Symposium on Combinatorial Search, 2020
112020
An Analysis of the Probabilistic Track of the IPC 2018
F Geißer, D Speck, T Keller
Proceedings of the ICAPS 2019 Workshop on The International Planning …, 2019
112019
Loopless Top-K Planning
J von Tschammer, R Mattmüller, D Speck
32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022
102022
Symbolic Planning with Axioms
D Speck, F Geißer, R Mattmüller, A Torralba
29th International Conference on Automated Planning and Scheduling (ICAPS …, 2019
92019
Symbolic Search for Optimal Planning with Expressive Extensions
D Speck
University of Freiburg, 2022
82022
PROST-DD-Utilizing Symbolic Classical Planning in THTS
F Geißer, D Speck
Sixth International Probabilistic Planning Competition (IPPC-6): planner …, 2018
82018
Finding Matrix Multiplication Algorithms with Classical Planning
D Speck, P Höft, D Gnad, J Seipp
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023
72023
PARIS: planning algorithms for reconfiguring independent sets
R Christen, S Eriksson, M Katz, C Muise, A Petrov, F Pommerening, ...
ECAI 2023, 453-460, 2023
62023
Symbolic Search for Oversubscription Planning
D Speck, M Katz
Proceedings of the AAAI Conference on Artificial Intelligence 35, 2021
62021
New Refinement Strategies for Cartesian Abstractions
D Speck, J Seipp
32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022
52022
Subset-Saturated Transition Cost Partitioning
D Drexler, J Seipp, D Speck
31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021
52021
On the Compilability and Expressive Power of State-Dependent Action Costs
D Speck, D Borukhson, R Mattmüller, B Nebel
31st International Conference on Automated Planning and Scheduling (ICAPS …, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–20