David Speck
David Speck
PhD researcher at University of Freiburg
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
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
502017
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
92018
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
62017
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
52018
PROST-DD-Utilizing Symbolic Classical Planning in THTS
F Geißer, D Speck
Sixth International Probabilistic Planning Competition (IPPC-6): planner …, 2018
52018
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
32019
Necessary Observations in Nondeterministic Planning
D Speck, M Ortlieb, R Mattmüller
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015
22015
Symbolic Top-k Planning.
D Speck, R Mattmüller, B Nebel
AAAI, 9967-9974, 2020
12020
Symbolic Planning with Axioms
D Speck, F Geißer, R Mattmüller, A Torralba
29th International Conference on Automated Planning and Scheduling (ICAPS …, 2019
12019
Learning Heuristic Selection with Dynamic Algorithm Configuration
D Speck, A Biedenkapp, F Hutter, R Mattmüller, M Lindauer
arXiv preprint arXiv:2006.08246, 2020
2020
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
2020
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), 2020
2020
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
S Corraya, F Geißer, D Speck, R Mattmüller
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2019
2019
Biomimetics meets Sustainability
O Speck, R Horn, D Speck, J Gantner, P Leistner
Bionik: Patente aus der Natur. Tagungsbeiträge zum 9. Bionik-Kongress in …, 2019
2019
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams - Masterthesis
D Speck
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15