Stefan Edelkamp

233 papers A* 21A 10B 17C 6Misc 35Journal 58Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Intermediate Results on the Complexity of STRIPS CoRR Stefan Edelkamp, Jirí Fink, Petr Gregor, Anders Jonsson, Bernhard Nebel
2025	J	`jnl`	Optimization of image acquisition by automated white-light interferometers during the inspection of object surfaces. J. Intell. Manuf. Björn Schwarze, Stefan Edelkamp
2025	J	`jnl`	Outer-Learning Framework for Playing Multi-Player Trick-Taking Card Games: A Case Study in Skat. CoRR Stefan Edelkamp
2025	J	`jnl`	Planning with Vision-Language Models and a Use Case in Robot-Assisted Teaching. CoRR Xuzhe Dang, Lada Kudlácková, Stefan Edelkamp
2025	J	`jnl`	Solving Multi-Agent Multi-Goal Path Finding Problems in Polynomial Time. CoRR Stefan Edelkamp
2024	Misc	`conf`	A Framework for General Trick-Taking Card Games. KI Stefan Edelkamp
2024	Misc	`conf`	Could the Declarer Have Discarded It? Refined Anticipation of Cards in Skat. KI Stefan Edelkamp
2024	Misc	`conf`	Data Augmentation in Latent Space with Variational Autoencoder and Pretrained Image Model for Visual Reinforcement Learning. KI Xuzhe Dang, Stefan Edelkamp
2024	J	`jnl`	Heuristic Planner for Communication-Constrained Multi-Agent Multi-Goal Path Planning. CoRR Jáchym Herynek, Stefan Edelkamp
2024	J	`jnl`	Imperfect-Information Games on Quantum Computers: A Case Study in Skat. CoRR Erik Schulze, Ulrich Armbrüster, Gabriel Maresch, Stefan Edelkamp
2024	A	`conf`	Multi-Robot Multi-Goal Mission Planning in Terrains of Varying Energy Consumption. IROS Jáchym Herynek, Stefan Edelkamp
2024	—	`conf`	Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems. AREA Jáchym Herynek, Stefan Edelkamp
2024	J	`jnl`	SIL-RRT*: Learning Sampling Distribution through Self Imitation Learning. CoRR Xuzhe Dang, Stefan Edelkamp
2024	Misc	`conf`	Trick Costs for α μ and New Relatives. ISAIM Samuel Bounan, Stefan Edelkamp
2023	—	`book`	Algorithmic Intelligence - Towards an Algorithmic Foundation for Artificial Intelligence Stefan Edelkamp
2023	J	`jnl`	CLIP-Motion: Learning Reward Functions for Robotic Actions Using Consecutive Observations. CoRR Xuzhe Dang, Stefan Edelkamp, Nicolas Ribault
2023	—	`conf`	Capacitated Multi-Robot Task Allocation with Time Windows Using Location-Routing Task-Motion Planning. ICAR Yazz Warsame, Stefan Edelkamp
2023	—	`conf`	Electric Vehicle Location-Routing Task-Motion Planning. CASE Yazz Warsame, Stefan Edelkamp
2023	—	`conf`	Heuristic Search Optimisation Using Planning and Curriculum Learning Techniques. EPIA (1) Leah Chrestien, Tomás Pevný, Stefan Edelkamp, Antonín Komenda
2023	—	`conf`	Machine Learning for SAST: A Lightweight and Adaptable Approach. ESORICS (4) Lorenz Hüther, Karsten Sohr, Bernhard J. Berger, Hendrik Rothe, Stefan Edelkamp
2023	A*	`conf`	Optimize Planning Heuristics to Rank, not to Estimate Cost-to-Goal. NeurIPS Leah Chrestien, Stefan Edelkamp, Antonín Komenda, Tomás Pevný
2023	J	`jnl`	Optimize Planning Heuristics to Rank, not to Estimate Cost-to-Goal. CoRR Leah Chrestien, Tomás Pevný, Stefan Edelkamp, Antonín Komenda
2022	J	`jnl`	A Differentiable Loss Function for Learning Heuristics in A. CoRR Leah Chrestien, Tomás Pevný, Antonín Komenda, Stefan Edelkamp
2022	A*	`conf`	Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation. AAAI Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Stefan Edelkamp
2022	B	`conf`	Deep RRT. SOCS Xuzhe Dang, Lukás Chrpa, Stefan Edelkamp
2022	B	`conf`	Effective Planning in Resource-Competition Problems by Task Decomposition. SOCS Lukás Chrpa, Pavel Rytír, Andrii Nyporko, Rostislav Horcík, Stefan Edelkamp
2022	—	`conf`	Improving Computer Play in Skat with Hope Cards. CG Stefan Edelkamp
2022	A*	`conf`	Optimal Mixed Strategies for Cost-Adversarial Planning Games. ICAPS Rostislav Horcík, Álvaro Torralba, Pavel Rytír, Lukás Chrpa, Stefan Edelkamp
2021	B	`conf`	Adversary Strategy Sampling for Effective Plan Generation. SOCS Lukás Chrpa, Pavel Rytír, Rostislav Horcík, Jan Cuhel, Anastasiia Livochka, Stefan Edelkamp
2021	J	`jnl`	ELO System for Skat and Other Games of Chance. CoRR Stefan Edelkamp
2021	J	`jnl`	Heuristic Search Planning with Deep Neural Networks using Imitation, Attention and Curriculum Learning. CoRR Leah Chrestien, Tomás Pevný, Antonín Komenda, Stefan Edelkamp
2021	Misc	`ed.`	KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27 - October 1, 2021, Proceedings KI Stefan Edelkamp, Ralf Möller, Elmar Rueckert
2021	J	`jnl`	Knowledge-Based Paranoia Search in Trick-Taking. CoRR Stefan Edelkamp
2021	C	`conf`	Knowledge-Based Paranoia Search. CoG Stefan Edelkamp
2021	J	`jnl`	On the Power of Refined Skat Selection. CoRR Stefan Edelkamp
2020	B	`conf`	Algorithm Engineering for Sorting and Searching, and All That (Invited Talk). SEA Stefan Edelkamp
2020	Misc	`conf`	Dynamic Play via Suit Factorization Search in Skat. KI Stefan Edelkamp
2020	—	`conf`	Energy-Aware Multi-Goal Motion Planning Guided by Monte Carlo Search. CASE Yazz Warsame, Stefan Edelkamp, Erion Plaku
2020	J	`jnl`	QuickXsort: A Fast Sorting Scheme in Theory and Practice. Algorithmica Stefan Edelkamp, Armin Weiß, Sebastian Wild
2020	A	`conf`	Representing and Reducing Uncertainty for Enumerating the Belief Space to Improve Endgame Play in Skat. ECAI Stefan Edelkamp
2019	J	`jnl`	BlockQuicksort: Avoiding Branch Mispredictions in Quicksort. ACM J. Exp. Algorithmics Stefan Edelkamp, Armin Weiß
2019	B	`conf`	Challenging Human Supremacy in Skat. SOCS Stefan Edelkamp
2019	Misc	`conf`	Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries. KI Stefan Edelkamp, Erion Plaku, Yassin Warsame
2019	—	`conf`	Multi-robot Multi-goal Motion Planning with Time and Resources. TAROS (1) Stefan Edelkamp, Junho Lee
2019	Misc	`conf`	Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases. KI Ionut Moraru, Stefan Edelkamp, Santiago Franco, Moisés Martínez
2019	—	`conf`	Watchman Routes for Robot Inspection. TAROS (2) Stefan Edelkamp, Zhuowei Yu
2019	A	`conf`	Worst-Case Efficient Sorting with QuickMergesort. ALENEX Stefan Edelkamp, Armin Weiß
2018	J	`jnl`	A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Christoph Greulich
2018	J	`jnl`	Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. IEEE Robotics Autom. Lett. Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku
2018	J	`jnl`	Multi-group motion planning in virtual environments. Comput. Animat. Virtual Worlds Erion Plaku, Sara Rashidian, Stefan Edelkamp
2018	J	`jnl`	QuickMergesort: Practically Efficient Constant-Factor Optimal Sorting. CoRR Stefan Edelkamp, Armin Weiß
2018	J	`jnl`	QuickXsort - A Fast Sorting Scheme in Theory and Practice. CoRR Stefan Edelkamp, Armin Weiß, Sebastian Wild
2018	J	`jnl`	Worst-Case Efficient Sorting with QuickMergesort. CoRR Stefan Edelkamp, Armin Weiß
2017	—	`ed.`	Computer Games - 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York City, NY, USA, July 9-10, 2016, Revised Selected Papers CGW@IJCAI Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius
2017	J	`jnl`	Efficient symbolic search for cost-optimal planning. Artif. Intell. Álvaro Torralba, Vidal Alcázar, Peter Kissmann, Stefan Edelkamp
2017	J	`jnl`	Heap Construction - 50 Years Later. Comput. J. Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2017	Misc	`conf`	Improving the Cache-Efficiency of Shortest Path Search. KI Stefan Edelkamp
2017	J	`jnl`	Multiregion Inspection by Combining Clustered Traveling Salesman Tours With Sampling-Based Motion Planning. IEEE Robotics Autom. Lett. Stefan Edelkamp, Mihai Pomarlan, Erion Plaku
2017	—	`conf`	Nested Rollout Policy Adaptation for Multiagent System Optimization in Manufacturing. ICAART (1) Stefan Edelkamp, Christoph Greulich
2017	J	`jnl`	Optimizing Binary Heaps. Theory Comput. Syst. Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2017	B	`conf`	Solving Graph Optimization Problems in a Framework for Monte-Carlo Search. SOCS Stefan Edelkamp, Eike Externest, Sebastian Kühl, Sabine Kuske
2017	—	`conf`	Surface Inspection via Hitting Sets and Multi-goal Motion Planning. TAROS Stefan Edelkamp, Baris Can Secim, Erion Plaku
2016	A	`conf`	BlockQuicksort: Avoiding Branch Mispredictions in Quicksort. ESA Stefan Edelkamp, Armin Weiß
2016	J	`jnl`	BlockQuicksort: How Branch Mispredictions don't affect Quicksort. CoRR Stefan Edelkamp, Armin Weiß
2016	—	`conf`	Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking. ICAART (1) Stefan Edelkamp, Christoph Greulich
2016	—	`ed.`	Computer Games - Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers CGW/GIGA@IJCAI Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius
2016	—	`conf`	Deep or Wide? Learning Policy and Value Neural Networks for Combinatorial Games. CGW@IJCAI Stefan Edelkamp
2016	—	`ch.`	External-Memory State Space Search. Algorithm Engineering Stefan Edelkamp
2016	Misc	`conf`	Improved Diversity in Nested Rollout Policy Adaptation. KI Stefan Edelkamp, Tristan Cazenave
2016	Misc	`conf`	Learning Event Time Series for the Automated Quality Control of Videos. KI Stefan Edelkamp, Fritz Jacob
2016	—	`conf`	Nested Rollout Policy Adaptation for Optimizing Vehicle Selection in Complex VRPs. LCN Workshops Ashraf Abdo, Stefan Edelkamp, Michael Lawo
2016	—	`conf`	Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control. LCN Workshops Rajeshwari Chatterjee, Christoph Greulich, Stefan Edelkamp
2016	A*	`ed.`	Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. ICAPS Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner
2016	Misc	`conf`	Solving the Physical Vehicle Routing Problem for Improved Multi-robot Freespace Navigation. KI Stefan Edelkamp, Denis Golubev, Christoph Greulich
2016	J	`jnl`	Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2016	—	`conf`	Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System. ICAART (Revised Selected Papers) Christoph Greulich, Stefan Edelkamp
2016	—	`conf`	Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. SPIN Stefan Edelkamp, Christoph Greulich
2015	Misc	`conf`	An In-Place Priority Queue with O(1) Time for Push and lg n + O ( 1 ) Comparisons for Pop. CSR Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2015	A*	`conf`	BDDs Strike Back (in AI Planning). AAAI Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
2015	—	`conf`	Cyber-Physical Multiagent-Simulation in Production Logistics. MATES Christoph Greulich, Stefan Edelkamp, Niels Eicke
2015	—	`conf`	Intelligent monitoring with background knowledge. IDAACS Kai-Oliver Detken, Stefan Edelkamp, Carsten Elfers, Malte Humann, Thomas Rix
2015	B	`conf`	Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem. SOCS Stefan Edelkamp, Zhihao Tang
2015	Misc	`conf`	Packing Irregular-Shaped Objects for 3D Printing. KI Stefan Edelkamp, Paul Wichern
2014	J	`jnl`	Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku
2014	Misc	`conf`	Monte-Carlo Tree Search for 3D Packing with Object Orientation. KI Stefan Edelkamp, Max Gath, Moritz Rohde
2014	C	`conf`	Motion planning with rigid-body dynamics for generalized traveling salesman tours. MIG Sara Rashidian, Erion Plaku, Stefan Edelkamp
2014	—	`conf`	Multi-goal motion planning with physics-based game engines. CIG Stefan Edelkamp, Erion Plaku
2014	—	`conf`	Planning with Numeric Key Performance Indicators over Dynamic Organizations of Intelligent Agents. MATES Florian Pantke, Stefan Edelkamp, Otthein Herzog
2014	—	`ed.`	Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. GRAPHITE Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2014	B	`ed.`	Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. SOCS Stefan Edelkamp, Roman Barták
2014	Misc	`conf`	QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons on Average. CSR Stefan Edelkamp, Armin Weiß
2014	—	`conf`	Solving Physical Traveling Salesman Problems with policy adaptation. CIG Stefan Edelkamp, Christoph Greulich
2014	—	`conf`	Solving Single Vehicle Pickup and Delivery Problems with Time Windows and Capacity Constraints using Nested Monte-Carlo Search. ICAART (1) Stefan Edelkamp, Max Gath
2014	J	`jnl`	Strengthened Lazy Heaps: Surpassing the Lower Bounds for Binary Heaps. CoRR Stefan Edelkamp, Jyrki Katajainen, Amr Elmasry
2014	A*	`conf`	Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four. ICAPS Stefan Edelkamp, Peter Kissmann, Martha Rohte
2013	J	`jnl`	Agent-Based Dispatching Enables Autonomous Groupage Traffic. J. Artif. Intell. Soft Comput. Res. Max Gath, Stefan Edelkamp, Otthein Herzog
2013	Misc	`conf`	Agent-Based Multimodal Transport Planning in Dynamic Environments. KI Christoph Greulich, Stefan Edelkamp, Max Gath
2013	—	`conf`	Agent-based dispatching in groupage traffic. CIPLS Max Gath, Stefan Edelkamp, Otthein Herzog
2013	—	`conf`	Algorithm and knowledge engineering for the TSPTW problem. CISched Stefan Edelkamp, Max Gath, Tristan Cazenave, Fabien Teytaud
2013	Misc	`conf`	Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security. KI Carsten Elfers, Stefan Edelkamp, Hartmut Messerschmidt
2013	—	`conf`	Enhanced Shortest Path Computation for Multiagent-based Intermodal Transport Planning in Dynamic Environments. ICAART (2) Christoph Greulich, Stefan Edelkamp, Max Gath, Tobias Warden, Malte Humann, Otthein Herzog, T. G. Sitharam
2013	A	`conf`	Fractal Approximate Nearest Neighbour Search in Log-Log Time. BMVC Martin Stommel, Stefan Edelkamp, Thiemo Wiedemeyer, Michael Beetz
2013	—	`conf`	Optimal Decision Making in Agent-based Autonomous Groupage Traffic. ICAART (1) Stefan Edelkamp, Max Gath
2013	—	`ed.`	Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. GRAPHITE Anton Wijs, Dragan Bosnacki, Stefan Edelkamp
2013	J	`jnl`	QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average. CoRR Stefan Edelkamp, Armin Weiß
2013	A*	`conf`	Transition Trees for Cost-Optimal Symbolic Planning. ICAPS Álvaro Torralba, Stefan Edelkamp, Peter Kissmann
2013	C	`conf`	Weak Heaps and Friends: Recent Developments. IWOCA Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen, Armin Weiß
2013	J	`jnl`	Weak heaps engineered. J. Discrete Algorithms Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2012	C	`conf`	A Catalogue of Algorithms for Building Weak Heaps. IWOCA Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2012	—	`conf`	Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic. ICAART (1) Carsten Elfers, Stefan Edelkamp, Otthein Herzog
2012	—	`book`	Heuristic Search - Theory and Applications. Stefan Edelkamp, Stefan Schrödl
2012	B	`conf`	In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses. MFCS Jingsen Chen, Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2012	—	`conf`	Lex-Partitioning: A New Option for BDD Search GRAPHITE Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
2012	—	`ed.`	Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. GRAPHITE Anton Wijs, Dragan Bosnacki, Stefan Edelkamp
2012	Misc	`conf`	Searching with Partial Belief States in General Games with Incomplete Information. KI Stefan Edelkamp, Tim Federholzner, Peter Kissmann
2012	Misc	`conf`	Stochastic Gradient Descent with GPGPU. KI David Zastrau, Stefan Edelkamp
2012	A	`conf`	Symbolic A ECAI Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
2012	—	`conf`	The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems. ECML/PKDD (1) Stefan Edelkamp, Martin Stommel
2012	—	`conf`	The Weak-Heap Family of Priority Queues in Theory and Praxis. CATS Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2012	J	`jnl`	The weak-heap data structure: Variants and applications. J. Discrete Algorithms Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2011	J	`jnl`	Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 CoRR Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg
2011	A*	`conf`	Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. ICAPS Damian Sulewski, Stefan Edelkamp, Peter Kissmann
2011	J	`jnl`	Flash memory efficient LTL model checking. Sci. Comput. Program. Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek
2011	J	`jnl`	Gamer, a General Game Playing Agent. Künstliche Intell. Peter Kissmann, Stefan Edelkamp
2011	A*	`conf`	Improving Cost-Optimal Domain-Independent Symbolic Planning. AAAI Peter Kissmann, Stefan Edelkamp
2011	Misc	`ed.`	KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings KI Joscha Bach, Stefan Edelkamp
2011	A*	`conf`	On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. AAAI Stefan Edelkamp, Peter Kissmann
2011	J	`jnl`	Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
2011	A*	`ed.`	Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 ICAPS Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert
2011	J	`jnl`	Taming Numbers and Durations in the Model Checking Integrated Planning System CoRR Stefan Edelkamp
2011	J	`jnl`	The Deterministic Part of IPC-4: An Overview CoRR Stefan Edelkamp, Jörg Hoffmann
2011	C	`conf`	Two Constant-Factor-Optimal Realizations of Adaptive Heapsort. IWOCA Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
2010	—	`conf`	Efficient Explicit-State Model Checking on General Purpose Graphics Processors. SPIN Stefan Edelkamp, Damian Sulewski
2010	—	`conf`	External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt Stefan Edelkamp, Damian Sulewski
2010	—	`conf`	Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. MKWI Stefan Edelkamp, Peter Kissmann, Damian Sulewski, Hartmut Messerschmidt
2010	B	`conf`	GPU Exploration of Two-Player Games with Perfect Hash Functions. SOCS Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
2010	Misc	`conf`	Instantiating General Games Using Prolog or Dependency Graphs. KI Peter Kissmann, Stefan Edelkamp
2010	B	`conf`	Layer-Abstraction for Symbolically Solving General Two-Player Games. SOCS Peter Kissmann, Stefan Edelkamp
2010	J	`jnl`	Model checking software: on some new waves and some evergreens. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Stefan Edelkamp
2010	A*	`conf`	Perfect Hashing for State Space Exploration on the GPU. ICAPS Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
2010	B	`conf`	Policy-Based Benchmarking of Weak Heaps and Their Relatives, . SEA Asger Bruun, Stefan Edelkamp, Jyrki Katajainen, Jens Rasmussen
2010	—	`conf`	Program Model Checking via Action Planning. MoChArt Stefan Edelkamp, Mark Kellershoff, Damian Sulewski
2010	J	`jnl`	Reports of the AAAI 2010 Conference Workshops. AI Mag. 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 Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
2010	Misc	`conf`	Strongly Solving Fox-and-Geese on Multi-core CPU. KI Stefan Edelkamp, Hartmut Messerschmidt
2010	—	`conf`	Vorwort. MKWI Jürgen Sauer, Stefan Edelkamp, Bernd Schattenberg
2009	—	`conf`	09491 Abstracts Collection - Graph Search Engineering. Graph Search Engineering Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders
2009	—	`ch.`	Disk-Based Search. Encyclopedia of Artificial Intelligence Stefan Edelkamp, Shahid Jabbar
2009	—	`conf`	Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski
2009	—	`ed.`	Graph Search Engineering, 29.11. - 04.12.2009 Graph Search Engineering Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders
2009	A*	`conf`	Optimal Symbolic Planning with Action Costs and Preferences. IJCAI Stefan Edelkamp, Peter Kissmann
2009	Misc	`conf`	Perfect Hashing for State Spaces in BDD Representation. KI Martin Dietzfelbinger, Stefan Edelkamp
2009	Misc	`conf`	Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game. KI Peter Kissmann, Stefan Edelkamp
2009	—	`ch.`	Symbolic Search. Encyclopedia of Artificial Intelligence Stefan Edelkamp
2008	C	`conf`	Can Flash Memory Help in Model Checking? FMICS Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek
2008	J	`jnl`	External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intell. Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
2008	B	`conf`	Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM Stefan Edelkamp, Damian Sulewski
2008	A*	`conf`	Limits and Possibilities of BDDs in State Space Search. AAAI Stefan Edelkamp, Peter Kissmann
2008	Misc	`conf`	Limits and Possibilities of BDDs in State Space Search. KI Stefan Edelkamp, Peter Kissmann
2008	A*	`conf`	Optimal Metric Planning with State Sets in Automata Representation. AAAI Björn Ulrich Borowsky, Stefan Edelkamp
2008	Misc	`conf`	Partial Symbolic Pattern Databases for Optimal Sequential Planning. KI Stefan Edelkamp, Peter Kissmann
2008	—	`conf`	Scaling Search with Pattern Databases. MoChArt Stefan Edelkamp, Shahid Jabbar, Peter Kissmann
2008	A*	`conf`	Semi-external LTL Model Checking. CAV Stefan Edelkamp, Peter Sanders, Pavel Simecek
2008	—	`conf`	Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner
2008	—	`conf`	Survey on Directed Model Checking. MoChArt Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
2008	A	`conf`	Symbolic Classification of General Multi-Player Games. ECAI Peter Kissmann, Stefan Edelkamp
2008	Misc	`conf`	Symbolic Classification of General Two-Player Games. KI Stefan Edelkamp, Peter Kissmann
2007	J	`jnl`	20 Jahre PuK. Künstliche Intell. Jürgen Sauer, Stefan Edelkamp
2007	J	`jnl`	Automated Planning: Theory and Practice. Künstliche Intell. Stefan Edelkamp
2007	—	`ed.`	Directed Model Checking, 26.04. - 29.04.2006 Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2007	—	`conf`	Distributed Verification of Multi-threaded C++ Programs. PDMC@CAV Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
2007	A*	`conf`	External Memory Value Iteration. ICAPS Stefan Edelkamp, Shahid Jabbar, Blai Bonet
2007	Misc	`conf`	Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. KI Stefan Edelkamp, Peter Kissmann
2007	Misc	`conf`	Learning How to Play Hex. KI Kenneth Kahl, Stefan Edelkamp, Lars Hildebrand
2007	—	`ed.`	Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings SPIN Dragan Bosnacki, Stefan Edelkamp
2007	—	`ed.`	Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers MoChArt Stefan Edelkamp, Alessio Lomuscio
2007	—	`conf`	On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. ITSC Maik Drozdzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, Miguel Liebe
2007	J	`jnl`	Von Blocksworld bis zur Pipesworld. Künstliche Intell. Stefan Edelkamp
2006	—	`conf`	06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`conf`	06172 Executive Summary -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`conf`	Automated Creation of Pattern Database Search Heuristics. MoChArt Stefan Edelkamp
2006	A*	`conf`	Cost-Optimal External Planning. AAAI Stefan Edelkamp, Shahid Jabbar
2006	A	`conf`	Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. ECAI Stefan Edelkamp
2006	J	`jnl`	Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. J. Artif. Intell. Res. Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg
2006	B	`conf`	Heuristic Search for the Analysis of Graph Transition Systems. ICGT Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2006	—	`conf`	Large-Scale Directed Model Checking LTL. SPIN Stefan Edelkamp, Shahid Jabbar
2006	A*	`conf`	On the Compilation of Plan Constraints and Preferences. ICAPS Stefan Edelkamp
2006	B	`conf`	Parallel External Directed Model Checking with Linear I/O. VMCAI Shahid Jabbar, Stefan Edelkamp
2006	—	`conf`	Real-Time Model Checking on Secondary Storage. MoChArt Stefan Edelkamp, Shahid Jabbar
2005	—	`conf`	Action Planning for Directed Model Checking of Petri Nets. MoChArt@CONCUR/SPIN Stefan Edelkamp, Shahid Jabbar
2005	A*	`conf`	Cost-Algebraic Heuristic Search. AAAI Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2005	—	`conf`	Dynamic Incremental Hashing in Program Model Checking. MoChArt@CONCUR/SPIN Tilman Mehler, Stefan Edelkamp
2005	A*	`conf`	External Symbolic Heuristic Search with Pattern Databases. ICAPS Stefan Edelkamp
2005	J	`jnl`	Geometric travel planning. IEEE Trans. Intell. Transp. Syst. Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
2005	B	`conf`	I/O Efficient Directed Model Checking. VMCAI Shahid Jabbar, Stefan Edelkamp
2005	J	`jnl`	The Deterministic Part of IPC-4: An Overview. J. Artif. Intell. Res. Jörg Hoffmann, Stefan Edelkamp
2004	—	`conf`	Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN Peter Leven, Tilman Mehler, Stefan Edelkamp
2004	J	`jnl`	Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2004	Misc	`conf`	External A*. KI Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl
2004	Misc	`conf`	Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. KI Stefan Edelkamp
2004	J	`jnl`	Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2003	—	`conf`	Accelerating Heuristic Search in Spatial Domains. PuK Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
2003	—	`conf`	Promela Planning. SPIN Stefan Edelkamp
2003	—	`conf`	Route Planning and Map Inference with Global Positioning Traces. Computer Science in Perspective Stefan Edelkamp, Stefan Schrödl
2003	J	`jnl`	Taming Numbers and Durations in the Model Checking Integrated Planning System. J. Artif. Intell. Res. Stefan Edelkamp
2002	B	`conf`	Directed Automated Theorem Proving. LPAR Stefan Edelkamp, Peter Leven
2002	J	`jnl`	Implementing HEAPSORT with (n logn - 0.9n) and QUICKSORT with (n logn + 0.2n) Comparisons. ACM J. Exp. Algorithmics Stefan Edelkamp, Patrick Stiegeler
2002	—	`conf`	Memory Limitations in Artificial Intelligence. Algorithms for Memory Hierarchies Stefan Edelkamp
2002	—	`conf`	Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. AIPS Workshop on Planning for Temporal Domains Stefan Edelkamp
2002	—	`conf`	Partial Order Reduction in Directed Model Checking. SPIN Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
2002	—	`conf`	Symbolic Pattern Databases in Heuristic Search Planning. AIPS Stefan Edelkamp
2002	—	`conf`	Taming Numbers and Durations in the Model Checking Integrated Planning System. PuK Stefan Edelkamp
2001	—	`conf`	Directed Explicit Model Checking with HSF-SPIN. SPIN Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
2001	—	`conf`	Finding Optimal Solutions to Atomix. KI/ÖGAI Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier
2001	J	`jnl`	MIPS: The Model-Checking Integrated Planning System. AI Mag. Stefan Edelkamp, Malte Helmert
2001	—	`conf`	Prediction of Regular Search Tree Growth by Spectral Analysis. KI/ÖGAI Stefan Edelkamp
2001	—	`conf`	Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. KI/ÖGAI Stefan Edelkamp, Ulrich Meyer
2001	J	`jnl`	Time complexity of iterative-deepening-A Artif. Intell. Richard E. Korf, Michael Reid, Stefan Edelkamp
2001	—	`conf`	Trail-directed model checking. Workshop on Software Model Checking @ CAV Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
2000	—	`conf`	Heuristic Search Planning with BDDs. PuK Stefan Edelkamp
2000	—	`conf`	Localizing A AAAI/IAAI Stefan Edelkamp, Stefan Schrödl
2000	—	`conf`	Neue Wege in der Exploration. GI Jahrestagung Stefan Edelkamp
2000	A	`conf`	On the Performance of WEAK-HEAPSORT. STACS Stefan Edelkamp, Ingo Wegener
2000	—	`conf`	Pushing the Limits in Sequential Sorting. WAE Stefan Edelkamp, Patrick Stiegeler
1999	—	`—`	Datenstrukturen und Lernverfahren in der Zustandsraumsuche. Stefan Edelkamp
1999	J	`jnl`	Datenstrukturen und Lernverfahren in der Zustandsraumsuche. Künstliche Intell. Stefan Edelkamp
1999	—	`conf`	Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods Frank Reffel, Stefan Edelkamp
1999	—	`conf`	Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length. ECP Stefan Edelkamp, Malte Helmert
1999	Misc	`conf`	Inferring Flow of Control in Program Synthesis by Example. KI Stefan Schrödl, Stefan Edelkamp
1999	J	`jnl`	On the performance of WEAK-HEAPSORT Electron. Colloquium Comput. Complex. Stefan Edelkamp, Ingo Wegener
1998	Misc	`conf`	OBDDs in Heuristic Search. KI Stefan Edelkamp, Frank Reffel
1998	—	`conf`	The Branching Factor of Regular Search Spaces. AAAI/IAAI Stefan Edelkamp, Richard E. Korf
1998	A	`conf`	Updating Shortest Paths. ECAI Stefan Edelkamp
1997	Misc	`conf`	Suffix Tree Automata in State Space Search. KI Stefan Edelkamp