Stefan Edelkamp

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

BlockQuicksort: Avoiding Branch Mispredictions in Quicksort.

[BibT_eX]

[DOI]

ACM J. Exp. Algorithmics, 2019

Watchman Routes for Robot Inspection.

[BibT_eX]

[DOI]

Zhuowei Yu

Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Multi-robot Multi-goal Motion Planning with Time and Resources.

[BibT_eX]

[DOI]

Junho Lee

Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Challenging Human Supremacy in Skat.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yassin Warsame

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Worst-Case Efficient Sorting with QuickMergesort.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

Multi-group motion planning in virtual environments.

[BibT_eX]

[DOI]

Sara Rashidian

Comput. Animat. Virtual Worlds, 2018

QuickMergesort: Practically Efficient Constant-Factor Optimal Sorting.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Multiregion Inspection by Combining Clustered Traveling Salesman Tours With Sampling-Based Motion Planning.

[BibT_eX]

[DOI]

Mihai Pomarlan

IEEE Robotics Autom. Lett., 2017

Optimizing Binary Heaps.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2017

Heap Construction - 50 Years Later.

[BibT_eX]

[DOI]

Comput. J., 2017

Efficient symbolic search for cost-optimal planning.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Surface Inspection via Hitting Sets and Multi-goal Motion Planning.

[BibT_eX]

[DOI]

Baris Can Secim

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

Solving Graph Optimization Problems in a Framework for Monte-Carlo Search.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Improving the Cache-Efficiency of Shortest Path Search.

[BibT_eX]

[DOI]

Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Nested Rollout Policy Adaptation for Multiagent System Optimization in Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016

External-Memory State Space Search.

[BibT_eX]

[DOI]

Proceedings of the Algorithm Engineering - Selected Results and Surveys, 2016

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014).

[BibT_eX]

[DOI]

Dragan Bosnacki

Anton Wijs

Sci. Comput. Program., 2016

BlockQuicksort: How Branch Mispredictions don't affect Quicksort.

[BibT_eX]

[DOI]

CoRR, 2016

Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control.

[BibT_eX]

[DOI]

Rajeshwari Chatterjee

Proceedings of the 41st IEEE Conference on Local Computer Networks Workshops, 2016

Nested Rollout Policy Adaptation for Optimizing Vehicle Selection in Complex VRPs.

[BibT_eX]

[DOI]

Ashraf Abdo

Michael Lawo

Proceedings of the 41st IEEE Conference on Local Computer Networks Workshops, 2016

Learning Event Time Series for the Automated Quality Control of Videos.

[BibT_eX]

[DOI]

Fritz Jacob

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Solving the Physical Vehicle Routing Problem for Improved Multi-robot Freespace Navigation.

[BibT_eX]

[DOI]

Denis Golubev

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Improved Diversity in Nested Rollout Policy Adaptation.

[BibT_eX]

[DOI]

Tristan Cazenave

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Deep or Wide? Learning Policy and Value Neural Networks for Combinatorial Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem.

[BibT_eX]

[DOI]

Zhihao Tang

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Cyber-Physical Multiagent-Simulation in Production Logistics.

[BibT_eX]

[DOI]

Niels Eicke

Proceedings of the Multiagent System Technologies - 13th German Conference, 2015

Packing Irregular-Shaped Objects for 3D Printing.

[BibT_eX]

[DOI]

Paul Wichern

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Intelligent monitoring with background knowledge.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2015

BDDs Strike Back (in AI Planning).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Automated Planning and Model Checking (Dagstuhl Seminar 14482).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Strengthened Lazy Heaps: Surpassing the Lower Bounds for Binary Heaps.

[BibT_eX]

[DOI]

CoRR, 2014

Motion planning with rigid-body dynamics for generalized traveling salesman tours.

[BibT_eX]

[DOI]

Sara Rashidian

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.

[BibT_eX]

[DOI]

Florian Pantke

Proceedings of the Multiagent System Technologies - 12th German Conference, 2014

Monte-Carlo Tree Search for 3D Packing with Object Orientation.

[BibT_eX]

[DOI]

Moritz Rohde

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.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons on Average.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2014

Multi-goal motion planning with physics-based game engines.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Conference on Computational Intelligence and Games, 2014

Solving Physical Traveling Salesman Problems with policy adaptation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Martha Rohte

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Weak heaps engineered.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2013

Agent-Based Dispatching Enables Autonomous Groupage Traffic.

[BibT_eX]

[DOI]

J. Artif. Intell. Soft Comput. Res., 2013

QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average.

[BibT_eX]

[DOI]

CoRR, 2013

Agent-Based Multimodal Transport Planning in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security.

[BibT_eX]

[DOI]

Carsten Elfers

Hartmut Messerschmidt

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Weak Heaps and Friends: Recent Developments.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

Enhanced Shortest Path Computation for Multiagent-based Intermodal Transport Planning in Dynamic Environments.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

Optimal Decision Making in Agent-based Autonomous Groupage Traffic.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

Algorithm and knowledge engineering for the TSPTW problem.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Scheduling, 2013

Agent-based dispatching in groupage traffic.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computational Intelligence In Production And Logistics Systems, 2013

Fractal Approximate Nearest Neighbour Search in Log-Log Time.

[BibT_eX]

[DOI]

Proceedings of the British Machine Vision Conference, 2013

Transition Trees for Cost-Optimal Symbolic Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

The weak-heap data structure: Variants and applications.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2012

Lex-Partitioning: A New Option for BDD Search

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Martin Stommel

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Stochastic Gradient Descent with GPGPU.

[BibT_eX]

[DOI]

David Zastrau

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Searching with Partial Belief States in General Games with Incomplete Information.

[BibT_eX]

[DOI]

Tim Federholzner

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

A Catalogue of Algorithms for Building Weak Heaps.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms, 23rd International Workshop, 2012

Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic.

[BibT_eX]

Carsten Elfers

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.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

The Weak-Heap Family of Priority Queues in Theory and Praxis.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012

Heuristic Search - Theory and Applications.

[BibT_eX]

[DOI]

Academic Press, ISBN: 978-0-12-372512-7, 2012

2011

Parallel probabilistic model checking on general purpose graphics processors.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2011

Flash memory efficient LTL model checking.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Gamer, a General Game Playing Agent.

[BibT_eX]

[DOI]

Künstliche Intell., 2011

Two Constant-Factor-Optimal Realizations of Adaptive Heapsort.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 22nd International Workshop, 2011

Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Improving Cost-Optimal Domain-Independent Symbolic Planning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Model checking software: on some new waves and some evergreens.

[BibT_eX]

[DOI]

Dragan Bosnacki

Int. J. Softw. Tools Technol. Transf., 2010

Reports of the AAAI 2010 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2010

Policy-Based Benchmarking of Weak Heaps and Their Relatives, .

[BibT_eX]

[DOI]

Proceedings of the Experimental Algorithms, 9th International Symposium, 2010

Efficient Explicit-State Model Checking on General Purpose Graphics Processors.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2010

Layer-Abstraction for Symbolically Solving General Two-Player Games.

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

GPU Exploration of Two-Player Games with Perfect Hash Functions.

[BibT_eX]

[DOI]

Cengizhan Yücel

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Program Model Checking via Action Planning.

[BibT_eX]

[DOI]

Mark Kellershoff

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Vorwort.

[BibT_eX]

[DOI]

Jürgen Sauer

Bernd Schattenberg

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.

[BibT_eX]

[DOI]

Hartmut Messerschmidt

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Instantiating General Games Using Prolog or Dependency Graphs.

[BibT_eX]

[DOI]

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Strongly Solving Fox-and-Geese on Multi-core CPU.

[BibT_eX]

[DOI]

Hartmut Messerschmidt

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Perfect Hashing for State Space Exploration on the GPU.

[BibT_eX]

[DOI]

Cengizhan Yücel

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Disk-Based Search.

[BibT_eX]

[DOI]

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

Symbolic Search.

[BibT_eX]

[DOI]

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

Efficient Probabilistic Model Checking on General Purpose Graphics Processors.

[BibT_eX]

[DOI]

Dragan Bosnacki

Proceedings of the Model Checking Software, 2009

Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Perfect Hashing for State Spaces in BDD Representation.

[BibT_eX]

[DOI]

Martin Dietzfelbinger

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Optimal Symbolic Planning with Action Costs and Preferences.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

09491 Abstracts Collection - Graph Search Engineering.

[BibT_eX]

[DOI]

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

2008

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

[BibT_eX]

[DOI]

Künstliche Intell., 2008

Flash-Efficient LTL Model Checking with Minimal Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Survey on Directed Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Scaling Search with Pattern Databases.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Solving µ-Calculus Parity Games by Symbolic Planning.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Partial Symbolic Pattern Databases for Optimal Sequential Planning.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Symbolic Classification of General Two-Player Games.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Limits and Possibilities of BDDs in State Space Search.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Can Flash Memory Help in Model Checking?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Symbolic Classification of General Multi-Player Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Semi-external LTL Model Checking.

[BibT_eX]

[DOI]

Peter Sanders

Pavel Simecek

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Optimal Metric Planning with State Sets in Automata Representation.

[BibT_eX]

[DOI]

Björn Ulrich Borowsky

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

20 Jahre PuK.

[BibT_eX]

[DOI]

Jürgen Sauer

Künstliche Intell., 2007

Automated Planning: Theory and Practice.

[BibT_eX]

[DOI]

Künstliche Intell., 2007

Von Blocksworld bis zur Pipesworld.

[BibT_eX]

[DOI]

Künstliche Intell., 2007

Distributed Verification of Multi-threaded C++ Programs.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Learning How to Play Hex.

[BibT_eX]

[DOI]

Kenneth Kahl

Lars Hildebrand

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

External Memory Value Iteration.

[BibT_eX]

[DOI]

Frederico dos S. Liporace

Blai Bonet

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.

[BibT_eX]

[DOI]

Sebastian Trüg

J. Artif. Intell. Res., 2006

Parallel External Directed Model Checking with Linear I/O.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Large-Scale Directed Model Checking LTL.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Real-Time Model Checking on Secondary Storage.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Automated Creation of Pattern Database Search Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Heuristic Search for the Analysis of Graph Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

06172 Abstracts Collection -- Directed Model Checking.

[BibT_eX]

[DOI]

Willem Visser

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

06172 Executive Summary -- Directed Model Checking.

[BibT_eX]

[DOI]

Willem Visser

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

On the Compilation of Plan Constraints and Preferences.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Cost-Optimal External Planning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Geometric travel planning.

[BibT_eX]

[DOI]

Thomas Willhalm

IEEE Trans. Intell. Transp. Syst., 2005

The Deterministic Part of IPC-4: An Overview.

[BibT_eX]

[DOI]

Jörg Hoffmann

J. Artif. Intell. Res., 2005

Dynamic Incremental Hashing in Program Model Checking.

[BibT_eX]

[DOI]

Tilman Mehler

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Action Planning for Directed Model Checking of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

I/O Efficient Directed Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

External Symbolic Heuristic Search with Pattern Databases.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Cost-Algebraic Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.

[BibT_eX]

[DOI]

Peter Leven

Tilman Mehler

Proceedings of the Model Checking Software, 2004

External A*.

[BibT_eX]

[DOI]

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.

[BibT_eX]

[DOI]

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003

Taming Numbers and Durations in the Model Checking Integrated Planning System.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

Promela Planning.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2003

Accelerating Heuristic Search in Spatial Domains.

[BibT_eX]

[DOI]

Thomas Willhalm

Proceedings of the Proceedings Workshop Planen und Konfigurieren (PuK-2003), 2003

Route Planning and Map Inference with Global Positioning Traces.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Patrick Stiegeler

ACM J. Exp. Algorithmics, 2002

Partial Order Reduction in Directed Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Directed Automated Theorem Proving.

[BibT_eX]

[DOI]

Peter Leven

Proceedings of the Logic for Programming, 2002

Memory Limitations in Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Algorithms for Memory Hierarchies, 2002

Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System.

[BibT_eX]

Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

Symbolic Pattern Databases in Heuristic Search Planning.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

Trail-directed model checking.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

MIPS: The Model-Checking Integrated Planning System.

[BibT_eX]

[DOI]

Malte Helmert

AI Mag., 2001

Time complexity of iterative-deepening-A*.

[BibT_eX]

[DOI]

Richard E. Korf

Michael Reid

Artif. Intell., 2001

Directed Explicit Model Checking with HSF-SPIN.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

Finding Optimal Solutions to Atomix.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Theory and Practice of Time-Space Trade-Offs in Memory Limited Search.

[BibT_eX]

[DOI]

Ulrich Meyer

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Prediction of Regular Search Tree Growth by Spectral Analysis.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000

Pushing the Limits in Sequential Sorting.

[BibT_eX]

[DOI]

Patrick Stiegeler

Proceedings of the Algorithm Engineering, 2000

Heuristic Search Planning with BDDs.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop "New Results in Planning, 2000

Neue Wege in der Exploration.

[BibT_eX]

[DOI]

Proceedings of the Informatik 2000, 2000

Localizing A*.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Künstliche Intell., 1999

On the performance of WEAK-HEAPSORT

[BibT_eX]

[DOI]

Ingo Wegener

Electron. Colloquium Comput. Complex., 1999

Inferring Flow of Control in Program Synthesis by Example.

[BibT_eX]

[DOI]

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Error Detection with Directed Symbolic Model Checking.

[BibT_eX]

[DOI]

Frank Reffel

Proceedings of the FM'99 - Formal Methods, 1999

Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length.

[BibT_eX]

[DOI]

Malte Helmert

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Datenstrukturen und Lernverfahren in der Zustandsraumsuche.

[BibT_eX]

[DOI]

PhD thesis, 1999

1998

OBDDs in Heuristic Search.

[BibT_eX]

[DOI]

Frank Reffel

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

Updating Shortest Paths.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The Branching Factor of Regular Search Spaces.

[BibT_eX]

[DOI]

Richard E. Korf

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.

[BibT_eX]

[DOI]