| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefan Edelkamp, Stefan Schrödl |
Heuristic Search - Theory and Applications.  |
|
2012 |
RDF |
|
| 1 | Carsten Elfers, Stefan Edelkamp, Otthein Herzog |
Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic. |
ICAART  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek |
Flash memory efficient LTL model checking. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Taming Numbers and Durations in the Model Checking Integrated Planning System |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg |
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Jörg Hoffmann |
The Deterministic Part of IPC-4: An Overview |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Gamer, a General Game Playing Agent. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs |
Parallel probabilistic model checking on general purpose graphics processors. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Sulewski, Stefan Edelkamp, Peter Kissmann |
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert (eds.) |
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joscha Bach, Stefan Edelkamp (eds.) |
KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen |
Two Constant-Factor-Optimal Realizations of Adaptive Heapsort. |
IWOCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Improving Cost-Optimal Domain-Independent Symbolic Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan |
Reports of the AAAI 2010 Conference Workshops. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp |
Model checking software: on some new waves and some evergreens. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Layer-Abstraction for Symbolically Solving General Two-Player Games. |
SOCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel |
GPU Exploration of Two-Player Games with Perfect Hash Functions. |
SOCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel |
Perfect Hashing for State Space Exploration on the GPU. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski |
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Bruun, Stefan Edelkamp, Jyrki Katajainen, Jens Rasmussen |
Policy-Based Benchmarking of Weak Heaps and Their Relatives, . |
SEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski |
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Mark Kellershoff, Damian Sulewski |
Program Model Checking via Action Planning. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Instantiating General Games Using Prolog or Dependency Graphs. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Hartmut Messerschmidt |
Strongly Solving Fox-and-Geese on Multi-core CPU. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Symbolic Search. |
Encyclopedia of Artificial Intelligence |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar |
Disk-Based Search. |
Encyclopedia of Artificial Intelligence |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Optimal Symbolic Planning with Action Costs and Preferences. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski |
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dietzfelbinger, Stefan Edelkamp |
Perfect Hashing for State Spaces in BDD Representation. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Damian Sulewski |
Distributed Verification of Multi-threaded C++ Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski |
External Memory Search for Verification of Multi-threaded C++ Programs. |
KI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Damian Sulewski |
Flash-Efficient LTL Model Checking with Minimal Counterexamples. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Symbolic Classification of General Multi-Player Games. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
Can Flash Memory Help in Model Checking? |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner |
Solving µ-Calculus Parity Games by Symbolic Planning. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Peter Kissmann |
Scaling Search with Pattern Databases. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Sanders, Pavel Simecek |
Semi-external LTL Model Checking. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Partial Symbolic Pattern Databases for Optimal Sequential Planning. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Symbolic Classification of General Two-Player Games. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Limits and Possibilities of BDDs in State Space Search. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Ulrich Borowsky, Stefan Edelkamp |
Optimal Metric Planning with State Sets in Automata Representation. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Limits and Possibilities of BDDs in State Space Search. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Von Blocksworld bis zur Pipesworld. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Sauer, Stefan Edelkamp |
20 Jahre PuK. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Automated Planning: Theory and Practice. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Blai Bonet |
External Memory Value Iteration. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser (eds.) |
Directed Model Checking, 26.04. - 29.04.2006 |
Directed Model Checking |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Edelkamp (eds.) |
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings |
SPIN |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Alessio Lomuscio (eds.) |
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers |
MoChArt |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kenneth Kahl, Stefan Edelkamp, Lars Hildebrand |
Learning How to Play Hex. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Kissmann |
Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tilman Mehler, Stefan Edelkamp |
Dynamic Incremental Hashing in Program Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar |
Action Planning for Directed Model Checking of Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg |
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |
Heuristic Search for the Analysis of Graph Transition Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
On the Compilation of Plan Constraints and Preferences. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Abstracts Collection -- Directed Model Checking. |
Directed Model Checking |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Executive Summary -- Directed Model Checking. |
Directed Model Checking |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar |
Large-Scale Directed Model Checking LTL. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Automated Creation of Pattern Database Search Heuristics. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar |
Real-Time Model Checking on Secondary Storage. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahid Jabbar, Stefan Edelkamp |
Parallel External Directed Model Checking with Linear I/O. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar |
Cost-Optimal External Planning. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm |
Geometric travel planning. |
IEEE Transactions on Intelligent Transportation Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Stefan Edelkamp |
The Deterministic Part of IPC-4: An Overview. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
External Symbolic Heuristic Search with Pattern Databases. |
ICAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shahid Jabbar, Stefan Edelkamp |
I/O Efficient Directed Model Checking. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |
Cost-Algebraic Heuristic Search. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction and trail improvement in directed model checking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction |
| 1 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
| 1 | Peter Leven, Tilman Mehler, Stefan Edelkamp |
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl |
External A*. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Taming Numbers and Durations in the Model Checking Integrated Planning System. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm |
Accelerating Heuristic Search in Spatial Domains. |
PuK |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Promela Planning. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Schrödl |
Route Planning and Map Inference with Global Positioning Traces. |
Computer Science in Perspective |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Patrick Stiegeler |
Implementing HEAPSORT with (n logn - 0.9n) and QUICKSORT with (n logn + 0.2n) Comparisons. |
ACM Journal of Experimental Algorithmics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Peter Leven |
Directed Automated Theorem Proving. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Taming Numbers and Durations in the Model Checking Integrated Planning System. |
PuK |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. |
AIPS Workshop on Planning for Temporal Domains |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Symbolic Pattern Databases in Heuristic Search Planning. |
AIPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Memory Limitations in Artificial Intelligence. |
Algorithms for Memory Hierarchies |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Trail-directed model checking. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard E. Korf, Michael Reid, Stefan Edelkamp |
Time complexity of iterative-deepening-A*. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Malte Helmert |
MIPS: The Model-Checking Integrated Planning System. |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier |
Finding Optimal Solutions to Atomix. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Prediction of Regular Search Tree Growth by Spectral Analysis. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Ulrich Meyer |
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Heuristic Search Planning with BDDs. |
PuK |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Ingo Wegener |
On the Performance of WEAK-HEAPSORT. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Schrödl |
Localizing A*. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Patrick Stiegeler |
Pushing the Limits in Sequential Sorting. |
Algorithm Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Ingo Wegener |
On the performance of WEAK-HEAPSORT |
Electronic Colloquium on Computational Complexity (ECCC) |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")