|
Publications
Books
-
Stefan Edelkamp.
Algorithmic Intelligence - A Key Revenue Driver.
Springer, 2019.
-
Tristan Cazenave, Stefan Edelkamp, Stephan Schiffel,
Michael Thielscher, Mark Winnands, and Julian Togelius (Eds.)
Computer Games.
Communications in Computer and Information Science.
Springer, 2016.
-
Amanda Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, and
Scott Sanner (Eds). International Conference on Automated Planning and
Scheduling. AAAI Press, 2016.
- Stefan Edelkamp and Roman Bartak (Eds.).
Symposium on Combinatorial Search. AAAI Press, 2014.
- Fahiem Baccus, Carmel Domshlak, Stefan Edelkamp and Malte Helmert (Eds.).
International Conference on Automated Planning and Scheduling. AAAI Press, 2011.
- Stefan Edelkamp and Stefan Schroedl.
Heuristic Search: Theory
and Practice. Morgan Kaufmann. 2012.
- Joscha Bach and Stefan Edelkamp (Eds.).
KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on Artificial Intelligence (KI). Springer,
Lecture Notes in Artificial Intelligence, 2011.
-
Dragan Bosnacki and Stefan Edelkamp (Eds.).
Model Checking Software (SPIN).
Springer, Lecture Notes in Computer Science, volume 4595, 2007.
-
Stefan Edelkamp and Alessio Lomuscio (Eds.).
Model Checking and Artificial
Intelligence (MOCHART). Springer, Lecture Notes in Artificial Intelligence,
volume 4428, 2007.
- 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]
AKA, DISKI, Volume 201, 1999.
- Stefan Edelkamp. Weak-Heapsort, a Fast Sorting Algorithm. Master.
Computer Science Department, University of Dortmund, 1996.
[pdf, abstract, bib]
Bookchapters
-
Stefan Edelkamp. External-Memory State Space Search.
In Peter Sanders, Lasse Kliemann (Eds.)
Algorithm Engineering on the Horizon.
Springer, 2016.
-
Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Humann,
Otthein Herzog, and Michael Lawo.
Monte-Carlo Tree Search in Logistics.
In Uwe Clausen, Hanno Friedrich, Carina Thaller, Christiane Geiger (Eds),
Commercial Transport, Springer, 2015, 427-440.
-
Max Gath, Otthein Herzog, and Stefan Edelkamp.
Autonomous, Adaptive, and Self-Organized
Multiagent Systems for the Optimization of
Decentralized Industrial Processes.
In Joanna Kolodziej,
Luis Correia,
and Jose Manuel Molina (Eds.),
Intelligent Agents in Data Intensive Computing, Springer, 2015.
- Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Human,
and Tobias Warden. PLaSMA Multiagent Simulation Last-Mile
Connectivity Bangalore.
In Otthein Herzog, Ulrich Glotzbach (Eds.),
acatech (Deutsche Akademie der
Technikwissenschaften) Materialien German Indian
Partnership for IT-Systems, Muenchen/Berlin 2014, 129-185.
- Stefan Edelkamp and 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.
- Stefan Edelkamp. Symbolic Search. In Encyclopedia of Artificial
Intelligence. Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.),
Idea Group Reference, 1549-1554, 2009.
[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, 501-506, 2009.
[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.
- Stefan Edelkamp. New Exploration Avenues. In Informatik 2000, Kurt Mehlhorn
and Georg Snelting (Eds.), Springer, pages 65-77, 2000.
Journal Articles
-
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, and
Anton Wijs. Inspection and Traversal Engineering.
Sci. Comput. Program., 130 (1), 2016.
-
Alvaro Toralba, Vidal Alcazar,
Peter Kissmann and Stefan Edelkamp.
Efficient Symbolic Search for Cost-Optimal Planning.
Artificial Intelligence.
dx.doi.org/10.1016/j.artint.2016.10.001, To appear. 2017.
-
Stefan Edelkamp, Mihai
Pomarlan, Erion Plaku.
Multi-Region
Inspection by Combining Clustered Traveling Salesman Tours with
Sampling-Based Motion Planning. IEEE Robotics and Automation Letters.
2(2): 428-435, 2017.
-
Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen.
Optimizing binary heaps. Theory of Computing Systems.
To appear, 2017.
-
Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen.
Heap Construction - 50 Years Later. The Computer Journal.
DOI 10.1093/comjnl/bxw085. To appear, 2017.
-
Alessandro Cimatti, Stefan Edelkamp and Daniele Magazzeni.
Model Checking and Planning - A Neverending Liason. Under Revision.
-
Erion Plaku, Sarah Rashidian, Stefan Edelkamp.
Multi-Group motion planning in virtual environments.
Computer Animation and Virtual Worlds, 2016.
-
Florian Pantke, Stefan Edelkamp, and Otthein Herzog.
Symbolic discrete-time planning with continuous numeric
action parameters for agent-controlled processes.
Mechatronics, 2015.
-
Alberto Lluch-Lafuente, Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.)
Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering.
EPTCS, 2015.
-
Max Gath, Stefan Edelkamp, and Herzog Otthein.
Agent-Based Dispatching in Groupage Traffic.
Journal of Artificial Intelligence and Soft
Computing Research. Volume 3, number 2, 2013.
-
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.)
Proceedings Second Workshop on GRAPH Inspection and Traversal
Engineering. EPTCS.
-
Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen.
Weak-heaps engineered. Journal of Discrete Algorithms,
Volume 23, pages 83-97, 2013.
-
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.)
Proceedings First Workshop on GRAPH Inspection and Traversal
Engineering. EPTCS 99.
-
Stefan Edelkamp, Peter Kissmann, and Alvaro Torralba Arias de Reyna.
Lex-Partitioning: A New Option for BDD Search.
Electronic Proceedings in Theoretical Computer Science, Volume 99, 2012.
-
Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen.
The weak-heap data structure: Variants and applications.
Journal of Discrete Algorithms. Volume 16, pages 187-205,
2012.
-
Stefan Edelkamp and Peter Kissmann. Gamer, a General Game Playing Agent.
Kuenstliche Intelligenz. Volume 25, number 1, pages 49-52, 2011.
- Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, and Anton Wijs.
Parallel probabilistic model checking on general purpose graphics processors).
International Journal on Software Tools for Technology.
Volume 13, number 1, pages 21-35, 2010.
-
Dragan Bosnacki and Stefan Edelkamp.
Model Checking Software - On New Waves and Some Evergreens.
International Journal on Software Tools for Technology. Volume 12, number 2, pages 89-95. 2010.
-
Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brimb and P. Simecek.
Flash Memory Efficient LTL Model Checking.
Science of Computer Programming. Volume 76, number 2, pages 136-157, 2011.
- Stefan Edelkamp, Shahid Jabbar and 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.
- Stefan Edelkamp. From Blocksworld to Pipesworld. Kuenstliche Intelligenz. Volume
1, pages 23-25, 2007.
- Stefan Edelkamp. Automated Planning: Theory and Practice. Kuenstliche Intelligenz.
Volume 1, pages 42-43, 2007.
- 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.
- Joerg Hoffmann and Stefan Edelkamp. The Deterministic Part of IPC-4: An
Overview. Journal of Artificial Intelligence Research. Volume 24, pages 519.
579, 2005.
- 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.
- Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets. Electronic
Notes in Theoretical Computer Science. Volume 149, number 2, pages
51-69, 2005.
- Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel
Planning. IEEE Transactions on Intelligent Transportation Systems. Volume
6, Number 1, pages 5 - 16, 2005.
- 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.
- 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.
- Stefan Edelkamp. Taming Numbers and Duration in the Model Checking Integrated
Planning System. Journal of Artificial Intelligence Research. Volume 20,
pages 195-238, 2003.
- 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.
- 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.
- Stefan Edelkamp and Malte Helmert. The Model Checking Integrated Planning
System. AI-Magazine, pages 67-71, 2001.
- Stefan Edelkamp. Data Structures and Learning Algorithms in State Space
Search. Kuenstliche Intelligenz. Volume 3, pages 49-51, 1999.
Conference Papers
2017
-
Stefan Edelkamp, Eike Externest, Sebastian Kuehl, and Sabine Kuske.
Solving Graph Optimization Problems in a Framework for Monte-Carlo Search.
Symposium of Combinatorial Search (SOCS),
Pittsburgh, pages 163-164, 2017.
-
Stefan Edelkamp. Improving the Cache-Efficiency of Shortest Path Search.
German Conference on Artificial Intelligence (KI),
Dortmund, 2017.
-
Stefan Edelkamp, Baris Secim, and Erion Plaku.
Surface Inspection via Hitting Sets and Multi-Goal Motion Planning.
Towards Autonomous Robotic Systems (TAROS).
Guildford, UK, 2017.
-
Stefan Edelkamp and Christoph Greulich.
Nested Monte-Carlo Tree Search for Multiagent Systems.
International Conference on Agents and Artificial Intelligence
(ICAART), 1:284-290, Porto, Portugal, 2017
2016
- Rajeshwari Chatterjee, Stefan Edelkamp, and Christoph
Greulich.
Optimizing Last Mile Delivery Using Public Transport with Multi-Agent
Based Control. 10th LCN IEEE Workshop On User MObility and VEhicular
Networks.
Dubai, 2016.
- Ashraf Abdo, Stefan Edelkamp, and Michael Lawo.
Nested Rollout Policy Adaptation for Optimizing Vehicle Selection in
Complex VRPs. 10th LCN IEEE Workshop On User MObility and VEhicular
Networks.
Dubai, 2016.
-
Stefan Edelkamp.
Deep or Wide? Learning Policy and Value Networks for Combinatorial Games.
IJCAI-Workshop on Computers and Games (CGW),
New York, 2016.
-
Stefan Edelkamp and Fritz Jacob.
Learning Event Time Series for the Automated Quality Control of Videos.
German Conference on Artificial Intelligence (KI),
Klagenfurt, 2016.
-
Stefan Edelkamp, Christoph Greulich and Denis Golubev.
Solving the Physical Vehicle Routing Problem for Improved
Multi-Robot Freespace Navigation. German Conference on
Artificial Intelligence (KI),
Klagenfurt, 2016.
-
Stefan Edelkamp and Tristan Cazenave.
High Diversity Monte-Carlo Tree Search.
German Conference on Artificial Intelligence (KI),
Klagenfurt, 2016.
-
Stefan Edelkamp and Armin Weiss.
BlockQuicksort: Avoiding Branch Mispredictions in Quicksort.
European Symposium on Algorithms (ESA), Aarhus, 2016.
-
Florian Pantke, Stefan Edelkamp, and Otthein Herzog.
Symbolic discrete-time planning with continuous numeric action
parameters for agent-controlled processes. Journal track.
International Conference on Automated Planning and Scheduling (ICAPS),
London, 2016.
-
Stefan Edelkamp and Christoph Greulich. Using SPIN for the Optimized
Scheduling of Discrete Event Systems in Manufacturing. Model Checking
of Software (SPIN),
Eindhoven, 2016.
-
Stefan Edelkamp and Christoph Greulich. Branch-and-Bound Optimization
of a Multiagent System for Flow Production using Model Checking.
International Conference on Agents and Artificial Intelligence
(ICAART), Rome, 2016.
2015
-
Stefan Edelkamp, Christoph Greulich, Mihai Pomarlan, and Erion Plaku.
Solving the Inspection Problem via Colored Traveling Salesman Tours.
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) -
Workshop on Task Planning for Intelligent Robots in Service and
Manufacturing, Hamburg, 2015.
- Stefan Edelkamp and Paul Wichern.
Packing Irregular-Shaped Objects via Sphere Trees for 3D Printing.
German Conference on Artificial Intelligence (KI), Dresden, 2015.
-
Christoph Greulich, Stefan Edelkamp, and Nils Eicke.
Cyber-Physical Multiagent-Simulation in Production Logistics.
German Conference on Multiagent System Technologies (MATES),
Cottbus, pages 119-136, 2015.
-
Kai-Oliver Detken, Stefan Edelkamp, Carsten Elfers, Malte Humann, Thomas
Rix.
Intelligent monitoring with background
knowledge. IEEE International Conference on Intelligent Data Acquisition
and Advanced Computing Systems: Technology and Applications (IDAACS).
Warsaw, 2015.
-
Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Humann, Otthein
Herzog, Michael Lawo. Monte-Carlo Tree Search for Production and
Logistics.
International Conference on Production, Logistics and Traffic (ICPLT),
Dortmund, 2015.
-
Kai-Oliver Detken, Stefan Edelkamp, Carsten Elfers, Marcel Jahnke, and
Malte Humann. Intelligentes Monitoring der IT - Sicherheit durch den
Einsatz von SIEM.
Conference on Security (DACH), Sankt Augustin, 2015.
-
Stefan Edelkamp and Zhiaho Tang. Monte-Carlo Tree Search
for the Multiple Sequence Alignment Problem.
Symposium on Combinatorial Search (SOCS), Ein Gedi, the
Dead Sea, 2015.
-
Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen.
An In-Place Priority Queue with O(1) Time for
Push and lg n + O(1) Comparisons for Pop.
International Computer Science Symposium (CSR),
Lake Balkal, 2015.
-
Stefan Edelkamp, Peter Kissmann und Alvaro Torralba.
BDDs Strike Back (in AI Planning).
National Conference on Artificial Intelligence (AAAI). Austin Texas, 2015.
2014
-
Sara Rashidian, Erion Plaku and Stefan Edelkamp.
Motion Planning with Rigid-Body Dynamics for Generalized Traveling Salesman Tours.
7th International ACM/SIGGRAPH Conference on Motion in Games (MIG), Los Angeles, 2014.
-
Max Gath, Otthein Herzog, and Stefan Edelkamp.
Autonomous and Flexible Multiagent Systems Enhance Transport Logistics.
International Conference and Expo on Emerging Technologies for a Smarter
World (CEWIT), Melville (NY), 2014.
-
Stefan Edelkamp, Max Gath, and Moritz Rohde.
Monte-Carlo Tree Search for 3D Packing with Object Orientation.
German Conference on Artificial Intelligence (KI), Stuttgart, 2014.
-
Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Planning with
Numeric Key Performance Indicators over Dynamic Organizations of
Intelligent Agents. German Conference on Multiagent System
Technologies (MATES), Stuttgart, 2014. [Best Paper]
-
Stefan Edelkamp and Erion Plaku.
Multi-Goal Motion Planning with Physics-based Game Engines.
IEEE Conference on Computational Intelligence in Games (CIG), Dortmund, 2014.
-
Stefan Edelkamp and Christoph Greulich.
Solving Physical Traveling Salesman Problems with Policy Adaptation.
IEEE Conference on Computational Intelligence in Games (CIG), Dortmund, 2014.
-
Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Combinatorial
Planning with Numerical Parameter Optimization for Local Control in
Multi-Agent Systems. Conference on System-Integrated Intelligence
(SYSINT), Bremen, 2014.
-
Stefan Edelkamp and Armin Weiss.
QuickXsort: Efficient Sorting with
n log n - 1.399n + o(n) Comparisons on Average.
International Computer Science Symposium (CSR), Moscow, 2014.
-
Stefan Edelkamp, Peter Kissmann, and Martha Rohte.
Symbolic and Explicit Search Hybrid through Perfect Hash Functions -
A Case Study in Connect Four.
International Conference on Automated Planning and Scheduling (ICAPS),
Portsmouth, New Hampshire, USA, 2014.
-
Stefan Edelkamp and Max Gath.
Solving Single-Vehicle Pickup-and-Delivery Problems
with Time Windows and Capacity Constraints using Nested Monte-Carlo Search.
International Conference on Agents and Artificial Intelligence (ICAART),
Angers (Loire Valley), 2014. [Best Student Paper]
2013
-
Max Gath, Otthein Herzog, and Stefan Edelkamp.
Agent-based Planning and Control for Groupage Traffic.
International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT), Melville (NY), 2013.
-
Martin Stommel, Stefan Edelkamp, Thiemo Wiedemeyer, and Michael Beetz.
Fractal Approximate Nearest Neighbour Search in Log-Log Time.
British Machine Vision Conference (BMVC).
Bristol, 2013.
-
Christoph Greulich, Stefan Edelkamp, and Max Gath.
Agent-based Multimodal Transport Planning in Dynamic Environments.
German Conference on Artificial Intelligence (KI).
Konstanz, 2013.
-
Carsten Elfers, Stefan Edelkamp, and Hartmut Messerschmidt.
Conditional Random Fields and Background Knowledge for Improved Cyber
Security. German Conference on Artificial Intelligence (KI).
Konstanz, 2013.
- Stefan Edelkamp. Planning with Pattern Databases.
European Conference on Planning (ECP), Toledo. 2001.
[Influential Paper Award ICAPS-12, Reprint by AAAI Press, 2014]
-
Stefan Bosse, Florian Pantke, and Stefan Edelkamp.
Robot Manipulator with emergent Behaviour supported by a Smart
Sensorial Material and Agent Systems.
Smart Systems Integration - European
Conference and Exhibition on Integration Issues of Miniaturized
Systems (SSI),
Amsterdam, 2013.
-
Alvaro Torralba Arias de Reyna, Stefan Edelkamp, and Peter Kissmann,
Transition Trees for Cost-Optimal Symbolic Planning.
Conference on Automated Planning and Scheduling (ICAPS), Rome, 2013.
-
Stefan Edelkamp, Max Gath, Tristan Cazenave, and Fabien Teytaud.
Algorithm and Knowledge Engineering for the TSPTW Problem.
IEEE Symposium Series on
Computational Intelligence (SSCI), Singapore, 2013.
-
Max Gath, Stefan Edelkamp, and Herzog Otthein.
Agent-Based Dispatching in Groupage Traffic.
IEEE Symposium Series on
Computational Intelligence (SSCI) Singapore, 2013.
-
Stefan Edelkamp, Christoph Greulich, Max Gath, Malte Human, Tobias Warden,
TG Sitharam, and Otthein Herzog.
Enhanced Shortest Path Computation for Multiagent-based Intermodal
Transportation Planning in Dynamic Environments.
International Conference on Agents and
Artificial Intelligence (ICAART). Barcelona, pages 324-329, 2013.
-
Stefan Edelkamp and Max Gath.
Optimal Decision Making in Agent-based Autonomous Groupage Traffic.
International Conference on Agents and
Artificial Intelligence (ICAART). Barcelona, pages 248-254, 2013.
2012
-
Stefan Edelkamp, Tim Federnholzer, and Peter Kissmann.
Searching with Belief State Subsets in General Games with Incomplete Information.
German Conference on Artificial Intelligence (KI).
Saarbruecken, pages 25-36, 2012.
-
David Zastrau and Stefan Edelkamp.
Stochastic Gradient Descent with GPGPU.
German Conference on Artificial Intelligence (KI). Saarbruecken, pages 193-204, 2012.
-
Stefan Edelkamp and Martin Stommel.
The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-Linear, Multi-Clustered Problems.
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD).
Bristol, pages 175-190, 2012.
-
Jingsen Chen, Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen.
In-Place Heap Construction with Optimized Comparisons, Moves, and
Cache Misses.
International Symposium on Mathematical Foundations
of Computer Science (MFCS).
Bratislava, pages 259-270, 2012.
-
Stefan Edelkamp, Peter Kissmann, Alvaro Torralba Arias de Reyna.
Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction.
European Conference on Artificial Intelligence (ECAI). Montpellier, pages 306-311, 2012.
-
Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen.
A Catalogue of Algorithms for Building Weak Heaps.
International Workshop on Combinatorial Algorithms (IWOCA).
Tamil Nadu, India, 2012.
-
Carsten Elfers, Stefan Edelkamp, and Otthein Herzog.
Efficient Tolerant Pattern Matching with Constraint Abstractions
in Description Logic.
International Conference on Agents and Artificial Intelligence (ICAART).
Vilamoura, pages 256-261, 2012.
-
Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen.
Weak-Heap Family of Priority Queues in Theory and Praxis.
Computing: the Australasian Theory Symposium (CATS).
Melburne, pages 103-112, 2012.
-
Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen.
Two Constant-Factor-Optimal Realizations of Adaptive Heapsort.
International Workshop on Combinatorial Algorithms (IWOCA).
Victoria, pages 195-208, 2011.
2011
-
Peter Kissmann and Stefan Edelkamp.
Improving Cost-Optimal Domain-Independent Symbolic Planning.
National Conference on Artificial Intelligence (AAAI).
San Francisco, pages 992-997, 2011.
-
Stefan Edelkamp and Peter Kissmann.
On the Complexity of BDDs for State Space Search: A Case
Study in Connect Four. National Conference on Artificial Intelligence
(AAAI). San Francisco, pages 18-23, 2011.
-
Damian Sulewski, Stefan Edelkamp and Peter Kissmann.
Exploiting the Computational Power of the
Graphics Card: Optimal State Space Planning on the GPU. International
Conference on Automated Planning and Scheduling (ICAPS), Freiburg,
pages 242-249, 2011.
2010
- Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs.
PRISM for General Purpose
Graphics Processing Units. Parallel and Distributed Methods in Verification
(PDMC). Twente-Enschede, 2010.
- Peter Kissmann and Stefan Edelkamp. Instantiating General Games using Prolog or Dependency Graphs.
German Conference on Artificial Intelligence (KI). Karlsruhe, pages 255-262, 2010.
- Stefan Edelkamp and Hartmut Messerschmidt. Strongly Solving Fox-and-Geese on Multi-Core CPU.
German Conference on Artificial Intelligence (KI). Karlsruhe, pages 291-298, 2010.
- Stefan Edelkamp and Damian Sulewski Efficient Explicit-State Model Checking on General Purpose
Graphics Processors. Model Checking Software (SPIN), Enschede, pages 106-123,
2010.
- Peter Kissmann and Stefan Edelkamp. Layer-Abstraction for Symbolically Solving General Two-Player
Games. Symposium on Combinatorial Search (SOCS). Stone Mountain, pages 63-70, 2010.
- Stefan Edelkamp, Damian Sulewski and Cengizhan Yucel. GPU Exploration of Two-Player Games
with Perfect Hash Functions. Symposium on Combinatorial Search (SOCS). Stone Mountain, pages 23-30, 2010.
- Stefan Edelkamp and Damian Sulewski. External Memory BFS with Delayed Duplicate Detection on
the GPU. Model Checking and Artificial Intelligence (MOCHART). Atlanta, pages 12-32, 2010.
- Stefan Edelkamp, Mark Kellershoff and Damian Sulewski. Action Planning for Automated Program
Verification. Model Checking and Artificial Intelligence (MOCHART). Atlanta, pages 33-51, 2010.
- Asger Bruun, Stefan Edelkamp, Jyrki Katajainen and Jens Rasmussen. Policy-Based Benchmarking of
Weak Heaps and Their Relatives.
Symposium on Experimental Algorithms (SEA).
Ischia Island, pages 424-435, 2010.
- 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,
pages 57-64, 2010. [Nominated to AI Journal Submission.]
- Juergen Sauer, Stefan Edelkamp, and Bernd Schattenberg 24. PuK-Workshop. Multikonferenz Wirtschaftsinformatik.
Goettingen, pages 477-478. 2010.
- Stefan Edelkamp, Peter Kissmann, Damian Sulewski and Hartmut Messerschmidt. Finding the Needle
in the Haystack with Heuristically Guided Swarm Tree Search. Multikonferenz Wirtschaftsinformatik.
Goettingen, pages 253-255. 2010.
2009
- Martin Dietzfelbinger and Stefan Edelkamp. Perfect Hashing for State
Spaces in BDD Representation. German Conference on Artificial Intelligence
(KI). Paderborn, pages 33-40, 2009.
-
Stefan Edelkamp and Damian Sulewski. Parallel State Space Search on the
GPU. Symposium on Combinatorial Search, Pasadena, 2009.
- 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, pages 1-8, 2009.
-
Dragan Bosnacki, Stefan Edelkamp and Damian Sulewski.
Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
Model Checking Software (SPIN). Grenoble, pages 32-49, 2009.
- Stefan Edelkamp and Peter Kissmann. Optimal Symbolic Planning with Action
Costs and
Preferences. International Joint Conference on Articial Intelligence (IJCAI),
Pasadena, pages 1690-1695, 2009.
2008
-
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.
- Stefan Edelkamp and Damian Sulewski. Flash-Efficient LTL Model Checking with Minimal Counterexamples.
Software Engineering and Formal Methods (SEFM). Cape Town, pages 73-82, 2008
- 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. pages 150-165, 2008.
- 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. [Outstanding Paper Award]
[pdf, abstract, bib]
- Stefan Edelkamp and Peter Kissmann. Symbolic Classification of
General Multi-Player Games. European Conference on Artificial
Intelligence (ECAI). Patras, pages 905-906, 2008.
[pdf, abstract, bib]
- Stefan Edelkamp, Peter Sanders, and Pavel Simecek. Semi-External LTL Model Checking.
Conference on Computer Aided Verification (CAV). Princeton, pages 530-542, 2008.
[pdf, abstract, bib]
- Bjoern Borowsky and Stefan Edelkamp.
Optimal Metric Planning with State Sets in Automata Representation.
National Conference on Artificial Intelligence (AAAI). Chicago, pages 874-879 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, pages 1452-1453, 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, 2008/2009.
- Stefan Edelkamp, Shahid Jabbar, and Peter Kissmann. Scaling Search with Symbolic Pattern Databases.
Model Checking
and Artificial Intelligence (MOCHART). Patras, pages 49-65, 2008/2009.
2007
- 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.
- Stefan Edelkamp, Shahid Jabbar, and Blai Bonet. External Memory Value
Iteration. International Conference on Automated Planning and Scheduling
(ICAPS). Providence, pages 128-135, 2007.
- 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.
- Stefan Edelkamp. Automated Creation of Pattern Database Search Heuristics.
Model Checking and Artificial Intelligence (MOCHART). Riva Del Garda,
LNCS 4428, pages 36-51, 2007.
2006
- 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.
- 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.
- 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.
- Stefan Edelkamp and Shahid Jabbar. Large-Scale Directed Model Checking LTL.
Model Checking Software (SPIN). Vienna, LNCS 3925, pages 1.18, 2006.
- 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.
2005
- 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.
- Stefan Edelkamp. External Symbolic Heuristic Search with Pattern Databases.
International Conference on Automated Planning and Scheduling (ICAPS).
Monterey, AAAI Press, pages 51-60, 2005.
- 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.
- Tilman Mehler and Stefan Edelkamp. Dynamic Incremental Hashing in Program
Model Checking. Model Checking and Artificial Intelligence (MOCHART).
San Francisco, 2005.
- Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets.
Model Checking and Artificial Intelligence (MOCHART). San Francisco, 2005.
- 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.
- Shahid Jabbar and Stefan Edelkamp. I/O Efficient Directed Model Checking.
Verification, Model Checking and Abstract Interpretation (VMCAI). Paris,
pages 313-329, 2005.
2004
- 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.
- 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]
2003
- Stefan Edelkamp. Promela Planning. Model Checking Software (SPIN). Portland,
pages 197-212, 2003.
- 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.
- 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.
2002
- Alberto Lluch Lafuente, Stefan Edelkamp, and Stefan Leue. Partial Order Reduction
in Directed Model Checking. Model Checking Software (SPIN). Grenoble,
pages 112-127, 2002.
- Stefan Edelkamp. Symbolic Pattern Databases in Heuristic Search Planning. International
Conference on AI Planning and Scheduling (AIPS). Toulouse, pages
274-293, 2002.
- Stefan Edelkamp and Peter Leven. Directed Automated Theorem Proving. Logic
for Programming Artificial Intelligence and Reasoning (LPAR). Tbilissi, pages
145-159, 2002.
2001
- Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue. Trail-Directed
Model Checking. Software Model Checking (SoftMC). Paris. 2001.
- Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed Explicit
Model Checking with HSF-SPIN. Model Checking Software (SPIN). Toronto,
pages 57-79, 2001.
- 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]
2000
- Stefan Edelkamp and Ingo Wegener. On the Performance of Weak-Heapsort.
Symposium on Theoretical Aspects of Computer Science (STACS). Lille, pages
254-265, 2000.
- Stefan Edelkamp and Stefan Schroedl. Localizing A*. National Conference on
Artificial Intelligence (AAAI). Austin, Texas, pages 885-890, 2000.
[pdf, abstract, bib]
1999
- 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.
- Frank Reffel and Stefan Edelkamp. Error Detection with Directed Symbolic
Model Checking. World Congress on Formal Methods (FM). Toulouse, pages
195-211, 1999.
- 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.
1998
- 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.
- 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]
1997
- Stefan Edelkamp. Suffix Tree Automata in State Space Search. German Conference
on Artificial Intelligence (KI). Freiburg, pages 381-385, 1997.
[pdf, abstract, bib]
|
|