| 2021 | IJCAI | On Weak Stubborn Sets in Classical Planning. | Silvan Sievers, Martin Wehrle |
| 2017 | SoCS | Strengthening Canonical Pattern Databases with Structural Symmetries. | Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz |
| 2016 | IJCAI | Decoupled Strong Stubborn Sets. | Daniel Gnad, Martin Wehrle, Jrg Hoffmann |
| 2016 | IJCAI | Graph-Based Factorization of Classical Planning Problems. | Martin Wehrle, Silvan Sievers, Malte Helmert |
| 2016 | IJCAI | Structural Symmetries for Fully Observable Nondeterministic Planning. | Dominik Winterer, Martin Wehrle, Michael Katz |
| 2016 | SoCS | Sleep Sets Meet Duplicate Elimination. | Yusra Alkhazraji, Martin Wehrle |
| 2015 | AAAI | A Generalization of Sleep Sets Based on Operator Sequence Redundancy. | Robert C. Holte, Yusra Alkhazraji, Martin Wehrle |
| 2015 | AAAI | Heuristics and Symmetries in Classical Planning. | Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle |
| 2015 | AAAI | Factored Symmetries for Merge-and-Shrink Abstractions. | Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz |
| 2015 | IJCAI | Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. | Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz |
| 2015 | KI | An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. | Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz |
| 2015 | SoCS | Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). | Sascha Scherrer, Florian Pommerening, Martin Wehrle |
| 2014 | AAAI | Planning as Model Checking in Hybrid Domains. | Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle |
| 2014 | AAAI | Symbolic Domain Predictive Control. | Johannes Lhr, Martin Wehrle, Maria Fox, Bernhard Nebel |
| 2014 | AAAI | Generalized Label Reduction for Merge-and-Shrink Heuristics. | Silvan Sievers, Martin Wehrle, Malte Helmert |
| 2014 | ECAI | Bounded Intention Planning Revisited. | Silvan Sievers, Martin Wehrle, Malte Helmert |
| 2014 | ISSTA | Reducing GUI test suites via program slicing. | Stephan Arlt, Andreas Podelski, Martin Wehrle |
| 2012 | CAV | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
| 2012 | ECAI | A Stubborn Set Algorithm for Optimal Planning. | Yusra Alkhazraji, Martin Wehrle, Robert Mattmller, Malte Helmert |
| 2011 | TACAS | Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. | Sebastian Kupferschmid, Martin Wehrle |
| 2009 | SAS | The Causal Graph Revisited for Directed Model Checking. | Martin Wehrle, Malte Helmert |
| 2009 | TACAS | Transition-Based Directed Model Checking. | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
| 2008 | CAV | Faster Than Uppaal? | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski |