Följ
Edelkamp, Stefan
Edelkamp, Stefan
Department of Theor. Computer Science at Charles University and at FEL/CVUT in Prague
Verifierad e-postadress på fel.cvut.cz - Startsida
Titel
Citeras av
Citeras av
År
Partial symbolic pattern databases for optimal sequential planning
S Edelkamp, P Kissmann
Annual Conference on Artificial Intelligence, 193-200, 2008
4352008
Heuristic search: theory and applications
S Edelkamp, S Schrödl
Elsevier, 2011
3572011
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
3512004
Route planning and map inference with global positioning traces
S Edelkamp, S Schrödl
Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 128-151, 2003
2742003
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2542001
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, 247-267, 2004
2422004
Time complexity of iterative-deepening-A∗
RE Korf, M Reid, S Edelkamp
Artificial Intelligence 129 (1-2), 199-218, 2001
2052001
The deterministic part of IPC-4: An overview
J Hoffmann, S Edelkamp
Journal of Artificial Intelligence Research 24, 519-579, 2005
1992005
Incremental map generation with GPS traces
R Bruntrup, S Edelkamp, S Jabbar, B Scholz
Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005., 574-579, 2005
1672005
MIPS: The model-checking integrated planning system
S Edelkamp, M Helmert
AI magazine 22 (3), 57-57, 2001
1562001
OBDDs in heuristic search
S Edelkamp, F Reffel
KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998
1401998
Symbolic Pattern Databases in Heuristic Search Planning.
S Edelkamp
AIPS, 274-283, 2002
1362002
Exhibiting knowledge in planning problems to minimize state encoding length
S Edelkamp, M Helmert
Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000
1352000
Taming numbers and durations in the model checking integrated planning system
S Edelkamp
Journal of Artificial Intelligence Research 20, 195-238, 2003
1112003
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
882006
SymBA*: A symbolic bidirectional A* planner
A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp
International Planning Competition, 105-108, 2014
862014
Partial order reduction in directed model checking
A Lluch-Lafuente, S Edelkamp, S Leue
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
802002
Large-scale optimal PDDL3 planning with MIPS-XXL
S Edelkamp, S Jabbar, M Nazih
5th International Planning Competition Booklet (IPC-2006), 28-30, 2006
772006
On the Compilation of Plan Constraints and Preferences.
S Edelkamp
ICAPS, 374-377, 2006
742006
Automated creation of pattern database search heuristics
S Edelkamp
International Workshop on Model Checking and Artificial Intelligence, 35-50, 2006
682006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20