Helmert, Malte

36 publications

JAIR 2024 Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR Odd Erik Gundersen, Malte Helmert, Holger H. Hoos

AAAI 2024 Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning Simon Dold, Malte Helmert

AAAI 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher

AAAI 2022 The FF Heuristic for Lifted Classical Planning Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

JAIR 2021 Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems Silvan Sievers, Malte Helmert

AAAI 2021 Saturated Post-Hoc Optimization for Classical Planning Jendrik Seipp, Thomas Keller, Malte Helmert

IJCAI 2020 Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert

IJCAI 2020 Lagrangian Decomposition for Classical Planning (Extended Abstract) Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin

JAIR 2020 Saturated Cost Partitioning for Optimal Classical Planning Jendrik Seipp, Thomas Keller, Malte Helmert

IJCAI 2019 Iterative Budgeted Exponential Search Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant

IJCAI 2018 Best-Case and Worst-Case Behavior of Greedy Best-First Search Manuel Heusner, Thomas Keller, Malte Helmert

JAIR 2018 Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning Jendrik Seipp, Malte Helmert

IJCAI 2018 Inductive Certificates of Unsolvability for Domain-Independent Planning Salomé Eriksson, Gabriele Röger, Malte Helmert

IJCAI 2018 Search Progress and Potentially Expanded States in Greedy Best-First Search Manuel Heusner, Thomas Keller, Malte Helmert

AAAI 2017 Higher-Dimensional Potential Heuristics for Optimal Classical Planning Florian Pommerening, Malte Helmert, Blai Bonet

AAAI 2017 Narrowing the Gap Between Saturated and Optimal Cost Partitioning for Classical Planning Jendrik Seipp, Thomas Keller, Malte Helmert

AAAI 2017 Value Compression of Pattern Databases Nathan R. Sturtevant, Ariel Felner, Malte Helmert

IJCAI 2016 Correlation Complexity of Classical Planning Domains Jendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert

IJCAI 2016 Graph-Based Factorization of Classical Planning Problems Martin Wehrle, Silvan Sievers, Malte Helmert

AAAI 2015 Automatic Configuration of Sequential Planning Portfolios Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter

AAAI 2015 Factored Symmetries for Merge-and-Shrink Abstractions Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2015 From Non-Negative to General Operator Cost Partitioning Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp

AAAI 2015 Heuristics and Symmetries in Classical Planning Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

IJCAI 2015 Heuristics for Cost-Optimal Classical Planning Based on Linear Programming Florian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet

IJCAI 2015 Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2014 Generalized Label Reduction for Merge-and-Shrink Heuristics Silvan Sievers, Martin Wehrle, Malte Helmert

IJCAI 2013 Getting the Most Out of Pattern Databases for Classical Planning Florian Pommerening, Gabriele Röger, Malte Helmert

IJCAI 2011 Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning Raz Nissim, Jörg Hoffmann, Malte Helmert

AAAI 2010 High-Quality Policies for the Canadian Traveler's Problem Patrick Eyerich, Thomas Keller, Malte Helmert

JAIR 2009 Message-Based Web Service Composition, Integrity Constraints, and Planning Under Uncertainty: A New Connection Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore

AAAI 2008 Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert, Robert Mattmüller

AAAI 2008 Explicit-State Abstraction: A New Method for Generating Heuristic Functions Malte Helmert, Patrik Haslum, Jörg Hoffmann

AAAI 2008 How Good Is Almost Perfect? Malte Helmert, Gabriele Röger

AAAI 2008 Landmarks Revisited Silvia Richter, Malte Helmert, Matthias Westphal

AAAI 2007 Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig

JAIR 2006 The Fast Downward Planning System Malte Helmert