Stefan Edelkamp

According to our database1, Stefan Edelkamp authored at least 168 papers between 1997 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Watchman Routes for Robot Inspection.
Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Multi-robot Multi-goal Motion Planning with Time and Resources.
Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Challenging Human Supremacy in Skat.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Worst-Case Efficient Sorting with QuickMergesort.
Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments, 2019

2018
A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue.
STTT, 2018

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows.
IEEE Robotics and Automation Letters, 2018

Multi-group motion planning in virtual environments.
Journal of Visualization and Computer Animation, 2018

2017
Multiregion Inspection by Combining Clustered Traveling Salesman Tours With Sampling-Based Motion Planning.
IEEE Robotics and Automation Letters, 2017

Optimizing Binary Heaps.
Theory Comput. Syst., 2017

Heap Construction - 50 Years Later.
Comput. J., 2017

Efficient symbolic search for cost-optimal planning.
Artif. Intell., 2017

Surface Inspection via Hitting Sets and Multi-goal Motion Planning.
Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

Solving Graph Optimization Problems in a Framework for Monte-Carlo Search.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Improving the Cache-Efficiency of Shortest Path Search.
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Nested Rollout Policy Adaptation for Multiagent System Optimization in Manufacturing.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016
External-Memory State Space Search.
Proceedings of the Algorithm Engineering - Selected Results and Surveys, 2016

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014).
Sci. Comput. Program., 2016

Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control.
Proceedings of the 41st IEEE Conference on Local Computer Networks Workshops, 2016

Nested Rollout Policy Adaptation for Optimizing Vehicle Selection in Complex VRPs.
Proceedings of the 41st IEEE Conference on Local Computer Networks Workshops, 2016

Learning Event Time Series for the Automated Quality Control of Videos.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Solving the Physical Vehicle Routing Problem for Improved Multi-robot Freespace Navigation.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Improved Diversity in Nested Rollout Policy Adaptation.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Deep or Wide? Learning Policy and Value Neural Networks for Combinatorial Games.
Proceedings of the Computer Games - 5th Workshop on Computer Games, 2016

Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System.
Proceedings of the Agents and Artificial Intelligence - 8th International Conference, 2016

Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

BlockQuicksort: Avoiding Branch Mispredictions in Quicksort.
Proceedings of the 24th Annual European Symposium on Algorithms, 2016

2015
Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Cyber-Physical Multiagent-Simulation in Production Logistics.
Proceedings of the Multiagent System Technologies - 13th German Conference, 2015

Packing Irregular-Shaped Objects for 3D Printing.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Intelligent monitoring with background knowledge.
Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2015

An In-Place Priority Queue with O(1) Time for Push and lg n + O ( 1 ) Comparisons for Pop.
Proceedings of the Computer Science - Theory and Applications, 2015

BDDs Strike Back (in AI Planning).
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Automated Planning and Model Checking (Dagstuhl Seminar 14482).
Dagstuhl Reports, 2014

Motion planning with rigid-body dynamics for generalized traveling salesman tours.
Proceedings of the Seventh International Conference on Motion in Games, Playa Vista, CA, USA, November 06, 2014

Planning with Numeric Key Performance Indicators over Dynamic Organizations of Intelligent Agents.
Proceedings of the Multiagent System Technologies - 12th German Conference, 2014

Monte-Carlo Tree Search for 3D Packing with Object Orientation.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Solving Single Vehicle Pickup and Delivery Problems with Time Windows and Capacity Constraints using Nested Monte-Carlo Search.
Proceedings of the ICAART 2014, 2014

QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons on Average.
Proceedings of the Computer Science - Theory and Applications, 2014

Multi-goal motion planning with physics-based game engines.
Proceedings of the 2014 IEEE Conference on Computational Intelligence and Games, 2014

Solving Physical Traveling Salesman Problems with policy adaptation.
Proceedings of the 2014 IEEE Conference on Computational Intelligence and Games, 2014

Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Weak heaps engineered.
J. Discrete Algorithms, 2013

Agent-Based Multimodal Transport Planning in Dynamic Environments.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Weak Heaps and Friends: Recent Developments.
Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

Enhanced Shortest Path Computation for Multiagent-based Intermodal Transport Planning in Dynamic Environments.
Proceedings of the ICAART 2013, 2013

Optimal Decision Making in Agent-based Autonomous Groupage Traffic.
Proceedings of the ICAART 2013, 2013

Algorithm and knowledge engineering for the TSPTW problem.
Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Scheduling, 2013

Agent-based dispatching in groupage traffic.
Proceedings of the IEEE Symposium on Computational Intelligence In Production And Logistics Systems, 2013

Fractal Approximate Nearest Neighbour Search in Log-Log Time.
Proceedings of the British Machine Vision Conference, 2013

Transition Trees for Cost-Optimal Symbolic Planning.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
The weak-heap data structure: Variants and applications.
J. Discrete Algorithms, 2012

Lex-Partitioning: A New Option for BDD Search
Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Stochastic Gradient Descent with GPGPU.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Searching with Partial Belief States in General Games with Incomplete Information.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

A Catalogue of Algorithms for Building Weak Heaps.
Proceedings of the Combinatorial Algorithms, 23rd International Workshop, 2012

Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction.
Proceedings of the ECAI 2012, 2012

The Weak-Heap Family of Priority Queues in Theory and Praxis.
Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012

Heuristic Search - Theory and Applications.
Academic Press, ISBN: 978-0-12-372512-7, 2012

2011
Parallel probabilistic model checking on general purpose graphics processors.
STTT, 2011

Flash memory efficient LTL model checking.
Sci. Comput. Program., 2011

Gamer, a General Game Playing Agent.
KI, 2011

Two Constant-Factor-Optimal Realizations of Adaptive Heapsort.
Proceedings of the Combinatorial Algorithms - 22nd International Workshop, 2011

Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Improving Cost-Optimal Domain-Independent Symbolic Planning.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Model checking software: on some new waves and some evergreens.
STTT, 2010

Reports of the AAAI 2010 Conference Workshops.
AI Magazine, 2010

Policy-Based Benchmarking of Weak Heaps and Their Relatives, .
Proceedings of the Experimental Algorithms, 9th International Symposium, 2010

Efficient Explicit-State Model Checking on General Purpose Graphics Processors.
Proceedings of the Model Checking Software, 2010

Layer-Abstraction for Symbolically Solving General Two-Player Games.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

GPU Exploration of Two-Player Games with Perfect Hash Functions.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Program Model Checking via Action Planning.
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Vorwort.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Instantiating General Games Using Prolog or Dependency Graphs.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Strongly Solving Fox-and-Geese on Multi-core CPU.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Perfect Hashing for State Space Exploration on the GPU.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Disk-Based Search.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Symbolic Search.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
Proceedings of the Model Checking Software, 2009

Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Perfect Hashing for State Spaces in BDD Representation.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Optimal Symbolic Planning with Action Costs and Preferences.
Proceedings of the IJCAI 2009, 2009

09491 Abstracts Collection - Graph Search Engineering.
Proceedings of the Graph Search Engineering, 29.11. - 04.12.2009, 2009

2008
External Memory Search for Verification of Multi-threaded C++ Programs.
KI, 2008

Distributed Verification of Multi-threaded C++ Programs.
Electr. Notes Theor. Comput. Sci., 2008

Flash-Efficient LTL Model Checking with Minimal Counterexamples.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Survey on Directed Model Checking.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Scaling Search with Pattern Databases.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Solving µ-Calculus Parity Games by Symbolic Planning.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Partial Symbolic Pattern Databases for Optimal Sequential Planning.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Symbolic Classification of General Two-Player Games.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Limits and Possibilities of BDDs in State Space Search.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Can Flash Memory Help in Model Checking?
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Symbolic Classification of General Multi-Player Games.
Proceedings of the ECAI 2008, 2008

Semi-external LTL Model Checking.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Limits and Possibilities of BDDs in State Space Search.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Optimal Metric Planning with State Sets in Automata Representation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
20 Jahre PuK.
KI, 2007

Automated Planning: Theory and Practice.
KI, 2007

Von Blocksworld bis zur Pipesworld.
KI, 2007

Learning How to Play Hex.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

External Memory Value Iteration.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res., 2006

Dynamic Incremental Hashing in Program Model Checking.
Electr. Notes Theor. Comput. Sci., 2006

Action Planning for Directed Model Checking of Petri Nets.
Electr. Notes Theor. Comput. Sci., 2006

Parallel External Directed Model Checking with Linear I/O.
Proceedings of the Verification, 2006

Large-Scale Directed Model Checking LTL.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Real-Time Model Checking on Secondary Storage.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Automated Creation of Pattern Database Search Heuristics.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Heuristic Search for the Analysis of Graph Transition Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

06172 Abstracts Collection -- Directed Model Checking.
Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

06172 Executive Summary -- Directed Model Checking.
Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

On the Compilation of Plan Constraints and Preferences.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Cost-Optimal External Planning.
Proceedings of the Proceedings, 2006

2005
Geometric travel planning.
IEEE Trans. Intelligent Transportation Systems, 2005

The Deterministic Part of IPC-4: An Overview.
J. Artif. Intell. Res., 2005

I/O Efficient Directed Model Checking.
Proceedings of the Verification, 2005

External Symbolic Heuristic Search with Pattern Databases.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Cost-Algebraic Heuristic Search.
Proceedings of the Proceedings, 2005

2004
Partial-order reduction and trail improvement in directed model checking.
STTT, 2004

Directed explicit-state model checking in the validation of communication protocols.
STTT, 2004

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.
Proceedings of the Model Checking Software, 2004

External A*.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Promela Planning.
Proceedings of the Model Checking Software, 2003

Accelerating Heuristic Search in Spatial Domains.
Proceedings of the Proceedings Workshop Planen und Konfigurieren (PuK-2003), 2003

Route Planning and Map Inference with Global Positioning Traces.
Proceedings of the Computer Science in Perspective, Essays Dedicated to Thomas Ottmann, 2003

2002
Implementing HEAPSORT with (n logn - 0.9n) and QUICKSORT with (n logn + 0.2n) Comparisons.
ACM Journal of Experimental Algorithmics, 2002

Partial Order Reduction in Directed Model Checking.
Proceedings of the Model Checking of Software, 2002

Taming Numbers and Durations in the Model Checking Integrated Planning System.
Proceedings of the Proceedings Workshop Planen und Konfigurieren (PuK-2002), 2002

Directed Automated Theorem Proving.
Proceedings of the Logic for Programming, 2002

Memory Limitations in Artificial Intelligence.
Proceedings of the Algorithms for Memory Hierarchies, 2002

Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

Symbolic Pattern Databases in Heuristic Search Planning.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001
Trail-directed model checking.
Electr. Notes Theor. Comput. Sci., 2001

MIPS: The Model-Checking Integrated Planning System.
AI Magazine, 2001

Time complexity of iterative-deepening-A*.
Artif. Intell., 2001

Directed Explicit Model Checking with HSF-SPIN.
Proceedings of the Model Checking Software, 2001

Finding Optimal Solutions to Atomix.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Theory and Practice of Time-Space Trade-Offs in Memory Limited Search.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Prediction of Regular Search Tree Growth by Spectral Analysis.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000
Pushing the Limits in Sequential Sorting.
Proceedings of the Algorithm Engineering, 2000

On the Performance of WEAK-HEAPSORT.
Proceedings of the STACS 2000, 2000

Heuristic Search Planning with BDDs.
Proceedings of the 14th Workshop "New Results in Planning, 2000

Neue Wege in der Exploration.
Proceedings of the Informatik 2000, 2000

Localizing A*.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Datenstrukturen und Lernverfahren in der Zustandsraumsuche.
KI, 1999

On the performance of WEAK-HEAPSORT
Electronic Colloquium on Computational Complexity (ECCC), 1999

Inferring Flow of Control in Program Synthesis by Example.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Error Detection with Directed Symbolic Model Checking.
Proceedings of the FM'99 - Formal Methods, 1999

Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Datenstrukturen und Lernverfahren in der Zustandsraumsuche.
DISKI 201, Infix, ISBN: 978-3-89601-201-2, 1999

1998
OBDDs in Heuristic Search.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

Updating Shortest Paths.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The Branching Factor of Regular Search Spaces.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Suffix Tree Automata in State Space Search.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997


  Loading...