Edelkamp, Stefan
Edelkamp, Stefan
Professor of Computer Science, University of Koblenz-Landau
No verified email - Homepage
Title
Cited by
Cited by
Year
FF: The fast-forward planning system
J Hoffmann
AI magazine 22 (3), 57-57, 2001
463*2001
Planning with pattern databases
S Edelkamp
Proc. ECP 1, 13-24, 2001
3612001
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
2862004
Heuristic search: theory and applications
S Edelkamp, S Schroedl
Elsevier, 2011
2462011
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2272001
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
2142004
Route planning and map inference with global positioning traces
S Edelkamp, S Schrödl
Computer science in perspective, 128-151, 2003
2122003
Time complexity of iterative-deepening-A∗
RE Korf, M Reid, S Edelkamp
Artificial Intelligence 129 (1-2), 199-218, 2001
1782001
The deterministic part of IPC-4: An overview
J Hoffmann, S Edelkamp
Journal of Artificial Intelligence Research 24, 519-579, 2005
1692005
Incremental map generation with GPS traces
R Bruntrup, S Edelkamp, S Jabbar, B Scholz
Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005., 574-579, 2005
1452005
The model checking integrated planning system (MIPS)
S Edelkamp, M Helmert
AI Magazine, 1966
135*1966
Exhibiting knowledge in planning problems to minimize state encoding length
S Edelkamp, M Helmert
European Conference on Planning, 135-147, 1999
1271999
OBDDs in heuristic search
S Edelkamp, F Reffel
Annual Conference on Artificial Intelligence, 81-92, 1998
1231998
Symbolic Pattern Databases in Heuristic Search Planning.
S Edelkamp
AIPS, 274-283, 2002
1202002
Taming numbers and durations in the model checking integrated planning system
S Edelkamp
Journal of Artificial Intelligence Research 20, 195-238, 2003
1072003
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
712006
Large-scale optimal PDDL3 planning with MIPS-XXL
S Edelkamp, S Jabbar, M Nazih
5th International Planning Competition Booklet (IPC-2006), 28-30, 2006
682006
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
662002
On the implementation of MIPS
S Edelkamp, M Helmert
AIPS-Workshop on Model-Theoretic Approaches to Planning, 18-25, 2000
652000
Large-scale directed model checking LTL
S Edelkamp, S Jabbar
International SPIN Workshop on Model Checking of Software, 1-18, 2006
632006
The system can't perform the operation now. Try again later.
Articles 1–20