Searching for authors named "Stefan Edelkamp" – sorted by Relevance.
64 documents found, showing 1 through 10.
Next 10 →
-
Prediction of Regular Search Tree Growth by Spectral Analysis
- …########## ## ####### ###### #### ###### ## ######## ######## Stefan Edelkamp Institut f…
- Add To MetaCart
-
International planning competition
- … Stefan Edelkamp Fachbereich Informatik Baroper Str. 301, GB IV 44221 Dortmund, Germany stefan.edelkamp…
- Cited by 4 (0 self) – Add To MetaCart
-
Updating Shortest Paths
- …Updating Shortest Paths Stefan Edelkamp 1 Abstract. Moving target search is a state space…
- Cited by 6 (0 self) – Add To MetaCart
-
First Solutions to PDDL+ Planning Problems
- …First Solutions to PDDL+ Planning Problems Stefan Edelkamp September 5, 2001 Abstract…
- Cited by 6 (2 self) – Add To MetaCart
-
Heuristic Search Planning with BDDs
- …Heuristic Search Planning with BDDs Stefan Edelkamp Institut f ur Informatik Am Flughafen 17 D…
- Cited by 3 (2 self) – Add To MetaCart
-
Dictionary Automaton in Optimal Space
- …Dictionary Automaton in Optimal Space Stefan Edelkamp Institut fur Informatik, Albert…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Exploration in Two-Player Games: Preliminary Results
- …Symbolic Exploration in Two-Player Games: Preliminary Results Stefan Edelkamp Institut f ur…
- Cited by 3 (0 self) – Add To MetaCart
-
Mixed Propositional and Numerical Planning in the Model Checking Integrated Planning System
- ….aaai.org). All rights reserved. Stefan Edelkamp Institut für Informatik, Albert-Ludwigs-Universität, Georges…
- Cited by 12 (1 self) – Add To MetaCart
-
Directed Symbolic Exploration in AI-Planning
- …Directed Symbolic Exploration in AI-Planning Stefan Edelkamp Institut fur Informatik Albert…
- Cited by 6 (0 self) – Add To MetaCart
-
Taming Numbers and Durations in the Model Checking Integrated Planning System
- …Taming Numbers and Durations in the Model Checking Integrated Planning System Stefan Edelkamp…
- Cited by 24 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
