Malte Helmert

Available identifiers

Publication	Date of Publication	Type
Merge-and-shrink: a compositional theory of transformations of factored transition systems	2021-10-05	Paper
Saturated cost partitioning for optimal classical planning	2020-02-05	Paper
Counterexample-guided Cartesian abstraction refinement for classical planning	2018-08-14	Paper
Optimal planning in the presence of conditional effects: extending LM-cut with context splitting	2017-07-18	Paper
A stubborn set algorithm for optimal planning	2015-12-11	Paper
Merge-and-Shrink Abstraction	2014-09-12	Paper
Relative-order abstractions for the pancake problem	2011-05-11	Paper
Strengthening landmark heuristics via hitting sets	2011-05-11	Paper
Sound and complete landmarks for and/Or graphs	2011-05-11	Paper
Concise finite-domain representations for PDDL planning tasks	2009-08-31	Paper
The Causal Graph Revisited for Directed Model Checking	2009-08-18	Paper
The fast downward planning system	2009-04-28	Paper
Selective Approaches for Solving Weak Games	2008-09-04	Paper
Understanding planning tasks. Domain complexity and heuristic decomposition	2008-03-05	Paper
A Skat Player Based on Monte-Carlo Simulation	2008-01-04	Paper
Complexity results for standard benchmark domains in planning	2006-02-07	Paper

This page was built for person: Malte Helmert