S
Stefan Edelkamp
Researcher at King's College London
Publications - 241
Citations - 5589
Stefan Edelkamp is an academic researcher from King's College London. The author has contributed to research in topics: Model checking & Beam search. The author has an hindex of 33, co-authored 235 publications receiving 5214 citations. Previous affiliations of Stefan Edelkamp include Technical University of Dortmund & Artificial Intelligence Center.
Papers
More filters
Automated Planning: Theory and Practice.
TL;DR: A translation apparatus is provided which comprises an inputting section for inputting a source document in a natural language and a layout analyzing section for analyzing layout information.
Planning with Pattern Databases
TL;DR: Given a fixed state description based on instantiated predicates, a general abstraction scheme is provided to automatically create admissible domain-independent memory-based heuristics for planning problems, where abstractions are found in factorizing the planning space.
Book ChapterDOI
Route planning and map inference with global positioning traces
Stefan Edelkamp,Stefan Schrödl +1 more
TL;DR: The algorithm of Bentley and Ottmann is shown to transform geometric GPS information directly into a combinatorial weighted and directed graph structure, which can be queried by applying classical and refined graph traversal algorithms like Dijkstras' single-source shortest path algorithm or A*.
Journal ArticleDOI
Directed explicit-state model checking in the validation of communication protocols
TL;DR: The class of A* directed search algorithms are presented and proposed heuristics together with bitstate compression techniques for the search of safety property violations and great reductions in the length of the error trails are achieved.
Proceedings ArticleDOI
Directed explicit model checking with HSF-SPIN
TL;DR: An improved nested depth-first search algorithm that exploits the structure of Promela Never-Claims and the impact of the new heuristics and algorithms on a set of protocol models, some of which are real-world industrial protocols are evaluated.