Malte Helmert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Merge-and-shrink: a compositional theory of transformations of factored transition systems Journal of Artificial Intelligence Research	2021-10-05	Paper
Saturated cost partitioning for optimal classical planning Journal of Artificial Intelligence Research	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 Journal of the ACM	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 Artificial Intelligence	2009-08-31	Paper
The Causal Graph Revisited for Directed Model Checking Static Analysis	2009-08-18	Paper
The fast downward planning system (available as arXiv preprint)	2009-04-28	Paper
Selective Approaches for Solving Weak Games Automated Technology for Verification and Analysis	2008-09-04	Paper
Understanding planning tasks. Domain complexity and heuristic decomposition Lecture Notes in Computer Science	2008-03-05	Paper
A Skat Player Based on Monte-Carlo Simulation Computers and Games	2008-01-04	Paper
Complexity results for standard benchmark domains in planning Artificial Intelligence	2006-02-07	Paper

Research outcomes over time

This page was built for person: Malte Helmert