| Planning with pattern databases S Edelkamp Proc. ECP 1, 13-24, 2001 | 366 | 2001 |
| PDDL2. 2: The language for the classical part of the 4th international planning competition S Edelkamp, J Hoffmann Technical Report 195, University of Freiburg, 2004 | 291 | 2004 |
| Heuristic search: theory and applications S Edelkamp, S Schroedl Elsevier, 2011 | 256 | 2011 |
| Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001 | 227 | 2001 |
| Route planning and map inference with global positioning traces S Edelkamp, S Schrödl Computer science in perspective, 128-151, 2003 | 224 | 2003 |
| Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5 (2-3), 247-267, 2004 | 216 | 2004 |
| Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001 | 182 | 2001 |
| The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005 | 171 | 2005 |
| Incremental map generation with GPS traces R Bruntrup, S Edelkamp, S Jabbar, B Scholz Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005., 574-579, 2005 | 150 | 2005 |
| MIPS: The model-checking integrated planning system S Edelkamp, M Helmert AI magazine 22 (3), 57-57, 2001 | 135 | 2001 |
| Exhibiting knowledge in planning problems to minimize state encoding length S Edelkamp, M Helmert European Conference on Planning, 135-147, 1999 | 129 | 1999 |
| OBDDs in heuristic search S Edelkamp, F Reffel Annual Conference on Artificial Intelligence, 81-92, 1998 | 124 | 1998 |
| Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002 | 122 | 2002 |
| Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003 | 109 | 2003 |
| Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4 J Hoffmann, S Edelkamp, S Thiébaux, R Englert, F Liporace, S Trüg Journal of Artificial Intelligence Research 26, 453-541, 2006 | 73 | 2006 |
| Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006 | 68 | 2006 |
| Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue International SPIN Workshop on Model Checking of Software, 112-127, 2002 | 66 | 2002 |
| On the implementation of MIPS S Edelkamp, M Helmert AIPS-Workshop on Model-Theoretic Approaches to Planning, 18-25, 2000 | 65 | 2000 |
| Large-scale directed model checking LTL S Edelkamp, S Jabbar International SPIN Workshop on Model Checking of Software, 1-18, 2006 | 63 | 2006 |
| Optimal symbolic planning with action costs and preferences S Edelkamp, P Kissmann Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 56 | 2009 |
