Wehrle, Martin

12 publications

IJCAI 2021 On Weak Stubborn Sets in Classical Planning Silvan Sievers, Martin Wehrle

JAIR 2019 Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search Daniel Gnad, Jörg Hoffmann, Martin Wehrle

IJCAI 2016 Decoupled Strong Stubborn Sets Daniel Gnad, Martin Wehrle, Jörg Hoffmann

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

IJCAI 2016 Structural Symmetries for Fully Observable Nondeterministic Planning Dominik Winterer, Martin Wehrle, Michael Katz

AAAI 2015 A Generalization of Sleep Sets Based on Operator Sequence Redundancy Robert C. Holte, Yusra Alkhazraji, Martin Wehrle

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

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

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

AAAI 2014 Planning as Model Checking in Hybrid Domains Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle

AAAI 2014 Symbolic Domain Predictive Control Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel