Books

Theses

  • Stefan Edelkamp. Heuristic Search. Habilitation. Computer Science Department, University of Freiburg, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp, Data Structures and Learning Algorithms in State Space Search. Dissertation, University of Freiburg, 1999. [pdf, abstract, bib]
  • Stefan Edelkamp. Weak-Heapsort, a Fast Sorting Algorithm. Master. Computer Science Department, University of Dortmund, 1996. [pdf, abstract, bib]

Bookchapters

  • Stefan Edelkamp und Damian Sulewski. State Space Exploration on the GPU. In NVIDIA GPU Gems. Wen-mei Hwu (Ed.), University of Illinois, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp und Francisco C. Pereira. Collaborative Map Generation - Survey and Architecture Proposal. In Urbanism on Track. Michiel Smit (Ed.), Delft University of Technology, Department of Urbanism, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp. Symbolic Search. In Encyclopedia of Artificial Intelligence. Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.), Idea Group Reference, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Shahid Jabbar. Disk-based Search. In Encyclopedia of Artificial Intelligence. Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.), Idea Group Reference, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Stefan Schroedl. Route Planning and Map Inference with Global Positioning Traces. In Computer Science in Perspective, Rolf Klein, Hans-Werner Six, and Lutz Wegner (Eds.), Lecture Notes in Computer Science, Springer Volume 2598, pages 128-151, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp. Memory Limitation in Artificial Intelligence. In Memory Hierarchies. Peter Sanders, Ulrich Meyer, and Jop Sibeyn (Eds.), Lecture Notes in Computer Science, Springer Volume 2625, pages 233-250, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp. Contributor to Dictionary of Computer Science, Engineering and Technology. Phillip A. Laplante (Ed.), CRC Press, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp. New Exploration Avenues. In Informatik 2000, Kurt Mehlhorn and Georg Snelting (Eds.), Springer, pages 65-77, 2000. [pdf, abstract, bib]

Journal Articles

  • Dragan Bosnacki und Stefan Edelkamp. Model Checking Software - On New Waves and Some Evergreens. STTT. Volume 12, number 2, pages 89-95. 2010.
  • Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brimb und P. Simecek. Flash Memory Efficient LTL Model Checking. Science of Computer Programming. 2010. doi:10.1016/j.scico.2010.03.005.
  • Stefan Edelkamp, Shahid Jabbar und Damian Sulewski. Distributed Verification of Multi-threaded C++ Programs. Electronic Notes in Theoretical Computer Science (ENTS). Volume 198, number 1, pages 33-46, 2008.
  • Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, and Damian Sulewski. External Memory Search for Verification of Multi-threaded C++ Programs. Kuenstliche Intelligenz. Volume 2, pages 44-50, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp. From Blocksworld to Pipesworld. Kuenstliche Intelligenz. Volume 1, pages 23-25, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp. Automated Planning: Theory and Practice. Kuenstliche Intelligenz. Volume 1, pages 42-43, 2007. [pdf, abstract, bib]
  • Joerg Hoffmann, Stefan Edelkamp, Roman Englert, Frederico Liporace, Sylvie Thiebaux, and Sebastian Trueg. Engineering Benchmarks for Planning: The Domains used in the Deterministic Part of IPC-4. Journal of Artificial Intelligence Research, Volume 26, pages 453-541, 2006. [pdf, abstract, bib]
  • Joerg Hoffmann and Stefan Edelkamp. The Deterministic Part of IPC-4: An Overview. Journal of Artificial Intelligence Research. Volume 24, pages 519. 579, 2005. [pdf, abstract, bib]
  • Tilman Mehler and Stefan Edelkamp. Dynamic Incremental Hashing in Program Model Checking. Electronic Notes in Theoretical Computer Science. Volume 149, number 2, pages 3-18, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets. Electronic Notes in Theoretical Computer Science. Volume 149, number 2, pages 51-69, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel Planning. IEEE Transactions on Intelligent Transportation Systems. Volume 6, Number 1, pages 5 - 16, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Partial Order Reduction and Trail Improvement in Directed Model Checking. International Journal on Software Tools for Technology. Volume 6, Number 4, pages 277 - 301, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed Explicit- State Model Checking in the Validation of Communication Protocols. International Journal on Software Tools for Technology. Volume 5, Number 2-3, pages 247 - 267, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp. Taming Numbers and Duration in the Model Checking Integrated Planning System. Journal of Artificial Intelligence Research. Volume 20, pages 195-238, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp and Patrick Stiegeler. Implementing HEAPSORT with n log n. 0.9n and QUICKSORT with n log n + 0.2n Comparisons. ACM Journal of Experimental Algorithmics. Volume 7, 2002. [pdf, abstract, bib]
  • Richard E. Korf, Michael Reid, and Stefan Edelkamp. Time Complexity of Iterative-Deepening-A*. Journal of Artificial Intelligence. Volume 129, Number 1-2, pages 199-218, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp and Malte Helmert. The Model Checking Integrated Planning System. AI-Magazine, pages 67-71, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp. Data Structures and Learning Algorithms in State Space Search. Kuenstliche Intelligenz. Volume 3, pages 49-51, 1999. [pdf, abstract, bib]

Conference Papers

  • Peter Kissmann and Stefan Edelkamp. Instantiating General Games using Prolog or Dependency Graphs. German Conference on Artificial Intelligence (KI). Karlsruhe, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp and Hartmut Messerschmidt. Strongly Solving Fox-and-Geese on Multi-Core CPU. German Conference on Artificial Intelligence (KI). Karlsruhe, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp and Damian Sulewski Efficient Explicit-State Model Checking on General Purpose Graphics Processors. Model Checking Software (SPIN), Enschede, 2010. [pdf, abstract, bib]
  • Peter Kissmann and Stefan Edelkamp. Layer-Abstraction for Symbolically Solving General Two-Player Games. Symposium on Combinatorial Search (SOCS). Stone Mountain, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp, Damian Sulewski and Cengizhan Yucel. GPU Exploration of Two-Player Games with Perfect Hash Functions. Symposium on Combinatorial Search (SOCS). Stone Mountain, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp and Damian Sulewski. External Memory BFS with Delayed Duplicate Detection on the GPU. Model Checking and Artificial Intelligence (MOCHART). Atlanta, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp, Mark Kellershoff and Damian Sulewski. Action Planning for Automated Program Verification. Model Checking and Artificial Intelligence (MOCHART). Atlanta, 2010. [pdf, abstract, bib]
  • Asger Bruun, Stefan Edelkamp, Jyrki Katajainen and Jens Rasmussen. Policy-Based Benchmarking of Weak Heaps and Their Relatives. Ischia Island. 2010. [pdf, abstract, bib]
  • Stefan Edelkamp, Damian Sulewski and Cengizhan Yucel. Perfect Hashing for State Space Exploration on the GPU. International Conference on Automated Planning and Scheduling (ICAPS). Toronto, 2010. [Nominated to AI Journal Submission.] [pdf, abstract, bib]
  • Jürgen Sauer, Stefan Edelkamp, and Bernd Schattenberg 24. PuK-Workshop. Multikonferenz Wirtschaftsinformatik. Gottingen, 477-478. 2010. [pdf, abstract, bib]
  • Stefan Edelkamp, Peter Kissmann, Damian Sulewski und Hartmut Messerschmidt. Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. Multikonferenz Wirtschaftsinformatik. Gottingen, 253-255. 2010. [pdf, abstract, bib]
  • Martin Dietzfelbinger and Stefan Edelkamp. Perfect Hashing for State Spaces in BDD Representation. German Conference on Artificial Intelligence (KI). Paderborn, 2009. [pdf, abstract, bib]
  • Peter Kissmann and Stefan Edelkamp. Solving Fully-Observable Non-Deterministic Planning Problems via Translation into a General Game. German Conference on Artificial Intelligence (KI). Paderborn, 2009. [pdf, abstract, bib]
  • Dragan Bosnacki, Stefan Edelkamp and Damian Sulewski. Efficient Probabilistic Model Checking on General Purpose Graphics Processors. Model Checking Software (SPIN). Grenoble, 2009. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Optimal Symbolic Planning with Action Costs and Preferences. International Joint Conference on Articial Intelligence (IJCAI), Pasadena, 2009. [pdf, abstract, bib]
  • Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, and Husain Aljazzar. Survey on Directed Model Checking. Model Checking and Articial Intelligence (MOCHART), pages 65-89, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Damian Sulewski. Flash-Efficient LTL Model Checking with Minimal Counterexamples. Software Engineering and Formal Methods (SEFM). Cape Town. 2008 [pdf, abstract, bib]
  • Jiri Barnat, Lubos Brim, Stefan Edelkamp, Pavel Simecek and Damian Sulewski. Can Flash Memory Help in Model Checking? Formal Methods for Industrial Critical Systems (FMICS). l'Aquila. 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Mark Kellershoff. Action Planning for Program Verification. International Conference on Automated Planning and Scheduling (ICAPS). Sydney. 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Limits and Possibilities of BDDs in State Space Search. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 46-53, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Partial Symbolic Pattern Databases for Optimal Sequential Planning. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 193-200, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Symbolic Classification of General Two-Player Games. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 185-192, 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Symbolic Classification of General Multi-Player Games. European Conference on Artificial Intelligence (ECAI). Patras. 2008. [pdf, abstract, bib]
  • Stefan Edelkamp, Peter Sanders, and Pavel Simecek. Semi-External LTL Model Checking. Conference on Computer Aided Verification (CAV). Princeton. 2008. [pdf, abstract, bib]
  • Björn Borowsky and Stefan Edelkamp. Optimal Metric Planning with State Sets in Automata Representation. National Conference on Artificial Intelligence (AAAI). Chicago. 2008. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Limits and Possibilities of BDDs in State Space Search. National Conference on Artificial Intelligence (AAAI). Chicago. 2008. [pdf, abstract, bib]
  • Marco Bakera, Stefan Edelkamp, Peter Kissmann, and Clemens D. Renner. Solving mu-calculus Parity Games by Symbolic Planning. Model Checking and Artificial Intelligence (MOCHART). Patras, pages 15-33, 2009. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Peter Kissmann. Scaling Search with Symbolic Pattern Databases. Model Checking and Artificial Intelligence (MOCHART). Patras, pages 49-65, 2009. [pdf, abstract, bib]
  • Maik Drodzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, and Miguel Liebe. On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. International IEEE Conference on Intelligent Transportation Systems (ITSC). Seattle, pages 678-683, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Damian Sulewski. Distributed Verification of Multi-threaded C++ Programs. Parallel and Distributed Methods in Verification (PDMC). Berlin, pages 33-48, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Blai Bonet. External Memory Value Iteration. International Conference on Automated Planning and Scheduling (ICAPS). Providence, pages 128-135, 2007. [pdf, abstract, bib]
  • Kenneth Kahl, Stefan Edelkamp, and Lars Hildebrand. Learning how to Play Hex. German Conference on Artificial Intelligence (KI). Osnabrueck, LNCS 4467, pages 382-396, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. German Conference on Artificial Intelligence (KI). Osnabrueck, LNCS 4467, pages 444-447, 2007. [pdf, abstract, bib
  • Stefan Edelkamp and Shahid Jabbar. Real-Time Model Checking on Secondary Storage. Model Checking and Artificial Intelligence (MOCHART). Riva Del Garda, LNCS 4428, pages 68-84, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp. Automated Creation of Pattern Database Search Heuristics. Model Checking and Artificial Intelligence (MOCHART). Riva Del Garda, LNCS 4428, pages 36-51, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Heuristic Search for the Analysis of Graph Transition Systems. International Conference on Graph Transformation (ICGT). Natal, LNCS 4178, pages 414-429, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp and Shahid Jabbar. Cost-Optimal External Planning. National Conference on Artificial Intelligence (AAAI). Boston, AAAI Press, pages 821-826, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp. Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. European Conference on Artificial Intelligence (ECAI). Riva Del Garda, IOS Press, pages 841-842, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp. On the Compilation of Plan Constraints and Preferences. International Conference on Automated Planning and Scheduling (ICAPS). The English Lake District, AAAI Press, pages 374-377, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp and Shahid Jabbar. Large-Scale Directed Model Checking LTL. Model Checking Software (SPIN). Vienna, LNCS 3925, pages 1.18, 2006. [pdf, abstract, bib]
  • Shahid Jabbar and Stefan Edelkamp. Parallel External Directed Model Checking With Linear I/O. Verification, Model Checking and Abstract Interpretation (VMCAI). Charleston, LNCS 2855, pages 237-251, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Cost-Algebraic Heuristic Search. National Conference on Artificial Intelligence (AAAI). Pittsburgh, AAAI Press, pages 1362-1367, 2005. [pdf, abstract, bib]
  • Rene Bruentrup, Stefan Edelkamp, Shahid Jabbar, and Bjoern Scholz. Incremental Map Generation with GPS Traces. International IEEE Conference on Intelligent Transportation Systems (ITSC). Vienna, IEEE, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp. External Symbolic Heuristic Search with Pattern Databases. International Conference on Automated Planning and Scheduling (ICAPS). Monterey, AAAI Press, pages 51-60, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp and Tilman Mehler. Incremental Hashing for Pattern Databases. International Conference on Automated Planning and Scheduling (ICAPS). Monterey, AAAI Press, pages 17-20, 2005. [pdf, abstract, bib]
  • Tilman Mehler and Stefan Edelkamp. Dynamic Incremental Hashing in Program Model Checking. Model Checking and Artificial Intelligence (MOCHART). San Francisco, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets. Model Checking and Artificial Intelligence (MOCHART). San Francisco, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Action Planning for Graph Transition Systems. Verification and Validation of Model-Based Planning and Scheduling Systems (VVPS). Monterey, AAAI Press, pages 58-66, 2005. [pdf, abstract, bib]
  • Shahid Jabbar and Stefan Edelkamp. I/O Efficient Directed Model Checking. Verification, Model Checking and Abstract Interpretation (VMCAI). Paris, pages 313-329, 2005. [pdf, abstract, bib]
  • Peter Leven, Tilman Mehler, and Stefan Edelkamp. Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. Model Checking Software (SPIN). Barcelona, pages 39-56, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Stefan Schroedl. External A*. German Conference on Artificial Intelligence (KI). Ulm, pages 226-240, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp Generalizing the Relaxed Planning Heuristic to Non-Linear Tasks. German ConfERENCE ON aRTIFICIAL iNTelligence (KI). Ulm, pages 198-212, 2004. [pdf, abstract, bib]
  • Tilman Mehler and Stefan Edelkamp. Planning in Concurrent Multiagent Systems with the Assembly Model Checker StEAM. German Conference on Artificial Intelligence (KI). Ulm, pages 16-30, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp. Promela Planning. Model Checking Software (SPIN). Portland, pages 197-212, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel Planning. International IEEE Conference on Intelligent Transportation Systems (ITSC). Shanghai, Volume 2, pages 12-15, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp and Tilman Mehler. Byte Code Distance Heuristics and Trail Direction for Model Checking Java Programs. Model Checking and Artificial Intelligence (MOCHART). Acapulco, pages 69-76, 2003. [pdf, abstract, bib]
  • Alberto Lluch Lafuente, Stefan Edelkamp, and Stefan Leue. Partial Order Reduction in Directed Model Checking. Model Checking Software (SPIN). Grenoble, pages 112-127, 2002. [pdf, abstract, bib]
  • Stefan Edelkamp. Symbolic Pattern Databases in Heuristic Search Planning. International Conference on AI Planning and Scheduling (AIPS). Toulouse, pages 274-293, 2002. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Leven. Directed Automated Theorem Proving. Logic for Programming Artificial Intelligence and Reasoning (LPAR). Tbilissi, pages 145-159, 2002. [pdf, abstract, bib]
  • Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue. Trail-Directed Model Checking. Software Model Checking (SoftMC). Paris. 2001. [pdf, abstract, bib]
  • Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed Explicit Model Checking with HSF-SPIN. Model Checking Software (SPIN). Toronto, pages 57-79, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp. Prediction of Regular Search Tree Growth by Spectral Analysis. German Conference on Artificial Intelligence (KI). Vienna, pages 154-168, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp and Ulrich Meyer. Theory and Practice of Time-Space Trade- Offs in Memory Limited Search. German Conference on Artificial Intelligence (KI). Vienna, pages 169-184, 2001. [pdf, abstract, bib]
  • Falk Hueffner, Stefan Edelkamp, Henning Fernau, and Rolf Niedermeier. Finding Optimal Solutions to Atomix. German Conference on Artificial Intelligence (KI). Vienna, pages 229-243, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp. Planning with Pattern Databases. European Conference on Planning (ECP). Toledo, pages 13-34, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp and Ingo Wegener. On the Performance of Weak-Heapsort. Symposium on Theoretical Aspects of Computer Science (STACS). Lille, pages 254-265, 2000. [pdf, abstract, bib]
  • Stefan Edelkamp and Stefan Schroedl. Localizing A*. National Conference on Artificial Intelligence (AAAI). Austin, Texas, pages 885-890, 2000. [pdf, abstract, bib]
  • Stefan Edelkamp and Patrick Stiegeler. Pushing the Limits in Sequential Sorting. Algorithm Engineering (WAE). Saarbruecken, pages 39-50, 2000. Stefan Edelkamp and Malte Helmert. Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length. European Conference on Planning (ECP). Durham, pages 135-147, 1999. [pdf, abstract, bib]
  • Frank Reffel and Stefan Edelkamp. Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods (FM). Toulouse, pages 195-211, 1999. [pdf, abstract, bib]
  • Stefan Schroedl and Stefan Edelkamp. Inferring Flow of Control in Program Synthesis by Example. German Conference on Artificial Intelligence (KI). Bonn, pages 171-182, 1999. [pdf, abstract, bib]
  • Stefan Edelkamp and Frank Reffel. Deterministic State Space Planning with BDDs. European Conference on Planning (ECP). Durham, pages 381-382, 1999. [pdf, abstract, bib]
  • Stefan Edelkamp and Frank Reffel. OBDDs in Heuristic Search. German Conference on Artificial Intelligence (KI). Bremen, pages 81-92, 1998. [pdf, abstract, bib]
  • Stefan Edelkamp. Updating Shortest Paths. European Conference on Artificial Intelligence (ECAI). Brighton, pages 655-659, 1998. [pdf, abstract, bib]
  • Stefan Edelkamp and Richard E. Korf. The Branching Factor of Regular Search Spaces. National Conference on Artificial Intelligence (AAAI). Madison, pages 299-304, 1998. [pdf, abstract, bib]
  • Stefan Edelkamp. Suffix Tree Automata in State Space Search. German Conference on Artificial Intelligence (KI). Freiburg, pages 381-385, 1997. [pdf, abstract, bib]

Edited Volumes of Workshops and Symposia

  • Mark Boddy, Stefan Edelkamp, and Robert Goldman (Ed.). Workshop on Intelligent Security. National Conference on Artificial Intelligence. Atlanta, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp and Ugur Kuter. AAAI Student Abstract and Poster Program. AAAI Press, 2010. [pdf, abstract, bib]
  • Stefan Edelkamp, Juergen Sauer and Bernd Schattenberg (Eds.). Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Göttingen, Atlanta, 2010. [pdf, abstract, bib]
  • Mark Boddy and Stefan Edelkamp (Ed.). Workshop on Intelligent Security. International Conference on Automated Planning and Scheduling. Thessaloniki, 2009. [pdf, abstract, bib]
  • Stefan Edelkamp, Juergen Sauer and Bernd Schattenberg (Eds.). Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Paderborn, 2009. [pdf, abstract, bib]
  • Stefan Edelkamp, Juergen Sauer and Bernd Schattenberg (Eds.). Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Kaiserslautern, 2008. [pdf, abstract, bib]
  • Bernd Schattenberg, Stefan Edelkamp and Juergen Sauer (Eds.). Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Osnabrueck, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp and Jeremy Frank (Eds.). International Knowledge Engineering Competition (ICKEPS). International Conference on Automated Planning and Scheduling. AAAI Press, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp, Stefan Leue, and Willem Visser (Eds). Directed Model Checking (DMC). Dagstuhl On-Line Proceedings. 2007. [pdf, abstract, bib]
  • Stefan Edelkamp and Juergen Sauer (Eds.). Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Bremen, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp and Benno Stein. Workshop on New Results in Planning, Scheduling, and Design (PUK). University of Ulm, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp, Joerg Hoffmann, Michael Littman, and Hakan Younes. International Planning Competition (IPC-5). International Conference on Automated Planning and Scheduling. JPL, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp and Joerg Hoffmann. Workshop on the Competition: Impact Organization, Evaluation, Benchmarks. International Conference on AI Planning and Scheduling. AAAI Press 2003. [pdf, abstract, bib]
  • Stefan Edelkamp, Sabine Hanke, Sven Schuierer and Thomas Ottmann. Upper Rhine Algorithm Workshop (URAW). University of Freiburg, 2000. [pdf, abstract, bib]

Papers on International Workshops, Satellite Events, and Symposia

    Stefan Edelkamp and Damian Sulewski. Parallel State Space Search on the GPU. Symposium on Combinatorial Search, Pasadena, 2009.
  • Stefan Edelkamp and Shahid Jabbar. MIPS-XXL: Featuring External Shortest Path Search for Sequential Optimal Plans and External Branch-And-Bound for Optimal Net Benet. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Sydney, 2008.
  • Stefan Edelkamp and Peter Kissmann. GAMER: Bridging Planning and General Game Playing with Symbolic Search. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Sydney, 2008.
  • Stefan Edelkamp and Peter Kissmann. Fully-Observable Non-Deterministic Planning via PDDL-Translation into a Game. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Sydney, 2008.
  • Stefan Edelkamp and Arend Rensink. Graph Transformation and AI Planning. Proceedings of the International Knowledge Engineering Competition. International Conference on Automated Planning and Scheduling. Providence, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp, Jeremy Frank and Mark Kellershoff. Knowledge Engineering through Simulation. Proceedings of the International Knowledge Engineering Competition. International Conference on Automated Planning and Scheduling. Providence, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp. Symbolic Shortest Path Planning. Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges. International Conference on Automated Planning and Scheduling. Providence, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp and Peter Kissmann. Symbolic Exploration for Generalized Game Playing in PDDL.Workshop on Planning and Games (PG), International Conference on Automated Planning and Scheduling. Providence, 2007. [pdf, abstract, bib]
  • Stefan Edelkamp. Automated Pattern Database Design. Workshop on Heuristic Search, Memory Based Heuristics and Their Applications. National Conference on Artificial Intelligence (AAAI). Boston, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar and Mohammed Nazih Large-Scale Optimal PDDL3 Planning with MIPS-XXL. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. The English Lake District, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp. Optimal Symbolic PDDL3 Planning with MIPS-BDD. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. The English Lake District, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp, Shahid Jabbar and Mohammed Nazih Cost-Optimal Planning Planning with Constraints and Preferences in Large State Spaces. Workshop on Preferences and Soft Constraints in Planning. International Conference on Automated Planning and Scheduling. The English Lake District, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp. Cost-Optimal Symbolic Pattern Database Planning with State Trajectory and Preference Constraints. Workshop on Preferences and Soft Constraints in Planning. International Conference on Automated Planning and Scheduling. The English Lake District, 2006. [pdf, abstract, bib]
  • Stefan Edelkamp and Tilman Mehler. Knowledge Acquisition and Knowledge Engineering in the ModPlan Workbench. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Monterey, pages 26.33, 2005. [pdf, abstract, bib]
  • Stefan Edelkamp, Joerg Hoffmann, Roman Englert, Frederico Liporace, Sylvie Thiebaux, and Sebastian Trueg. Towards Realistic Benchmarks for Planning: The Domains used in the Classical Part of IPC-4. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Whistler, pages 8-15, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp and Joerg Hoffmann. PDDL 2.1: The Language for the Classical Part of IPC-4. Proceedings of the International Planning Competition. International Conference on Automated Planning and Scheduling. Whistler, pages 1-7, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp and Alberto Lluch-Lafuente. Abstraction in Directed Model Checking. Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling. Whistler, pages 7-13, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp. Extended Critical Paths in Temporal Planning. Workshop on Integrating Planning into Scheduling. International Conference on Automated Planning and Scheduling. Whistler, pages 38-45, 2004. [pdf, abstract, bib]
  • Stefan Edelkamp and Joerg Hoffmann. Quo Vadis, IPC-4 - Proposal for the Classical Part of the 4th International Planning Competition. Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks. International Conference on Automated Planning and Scheduling. Trento, pages 1-6, 2003. [pdf, abstract, bib]
  • Stefan Edelkamp. Limits and Possibilities of PDDL for Model Checking Software. Workshop on the Competition: Impact Organization, Evaluation, Benchmarks. International Conference on Automated Planning and Scheduling. Trento, pages 53-63, 2003 [pdf, abstract, bib]
  • Stefan Edelkamp. Mixed Propositional and Numerical Planning in the Model Checking Integrated Planning System. Workshop on Planning in Temporal Domains. International Conference on AI Planning and Scheduling. Toulouse, pages 47-55, 2002. [pdf, abstract, bib]
  • Stefan Edelkamp. Symbolic Exploration in Two-Player Games: Preliminary Results. Workshop on Model Checking. International Conference on AI Planning and Scheduling. Toulouse, pages 40-48, 2002. [pdf, abstract, bib]
  • Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Protocol Verification with Heuristic Search. AAAI-Spring Symposium on Model-based Validation of Intelligence, Stanford, pages 75-83, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp. Directed Symbolic Exploration in AI-Planning. AAAI-Spring Symposium on Model-based Validation of Intelligence, Stanford, pages 84-92, 2001. [pdf, abstract, bib]
  • Stefan Edelkamp and Malte Helmert. On the Implementation of Mips. Workshop on Decision-Theoretic Planning, International Conference on Artificial Intelligence Planning and Scheduling. Breckenridge, Colorado, pages 18-25, 2000. [pdf, abstract, bib]
  • Stefan Edelkamp and Juergen Eckerle. New Strategies in Real-Time Heuristic Search. Workshop on On-line Search, National Conference on Artificial Intelligence. Providence, Rhode Island, pages 30-35, 1997. [pdf, abstract, bib]