עקוב אחר
David Speck
David Speck
Postdoctoral researcher, University of Basel
כתובת אימייל מאומתת בדומיין unibas.ch - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
1762017
Symbolic top-k planning‏
D Speck, R Mattmüller, B Nebel‏
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9967-9974, 2020‏
562020
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‏
332021
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‏
242018
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‏
222018
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‏
212017
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‏
162020
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‏
122019
Loopless Top-K Planning‏
J von Tschammer, R Mattmüller, D Speck‏
32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022‏
112022
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
Symbolic Planning with Axioms‏
D Speck, F Geißer, R Mattmüller, A Torralba‏
29th International Conference on Automated Planning and Scheduling (ICAPS …, 2019‏
112019
PARIS: planning algorithms for reconfiguring independent sets‏
R Christen, S Eriksson, M Katz, C Muise, A Petrov, F Pommerening, ...‏
ECAI 2023, 453-460, 2023‏
92023
Symbolic Search for Optimal Planning with Expressive Extensions‏
D Speck‏
University of Freiburg, 2022‏
92022
PROST-DD-Utilizing Symbolic Classical Planning in THTS‏
F Geißer, D Speck‏
Sixth International Probabilistic Planning Competition (IPPC-6): planner …, 2018‏
92018
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
New Refinement Strategies for Cartesian Abstractions‏
D Speck, J Seipp‏
32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022‏
72022
Symbolic Search for Oversubscription Planning‏
D Speck, M Katz‏
Proceedings of the AAAI Conference on Artificial Intelligence 35, 2021‏
62021
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20