Planning as Satisfiability with Relaxed $-Step Plans. - Martin Wehrle; Jussi Rintanen (Australian Conference on Artificial Intelligence, 2007)

Useless Actions Are Useful. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (ICAPS, 2008)

Faster Than Uppaal? - Sebastian Kupferschmid; Martin Wehrle; Bernhard Nebel; Andreas Podelski (CAV, 2008)

The Causal Graph Revisited for Directed Model Checking. - Martin Wehrle; Malte Helmert (SAS, 2009)

Transition-Based Directed Model Checking. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (TACAS, 2009)

Context-Enhanced Directed Model Checking. - Martin Wehrle; Sebastian Kupferschmid (SPIN, 2010)

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. - Sebastian Kupferschmid; Martin Wehrle (TACAS, 2011)

Transition-based directed model checking = Transitionsbasierte gerichtete Modellprüfung. - Martin Wehrle (2011)

About Partial Order Reduction in Planning and Computer Aided Verification. - Martin Wehrle; Malte Helmert (ICAPS, 2012)

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 (CAV, 2012)

A Stubborn Set Algorithm for Optimal Planning. - Yusra Alkhazraji; Martin Wehrle; Robert Mattmüller; Malte Helmert (ECAI, 2012)

Mcta: Heuristics and Search for Timed Systems. - Martin Wehrle; Sebastian Kupferschmid (FORMATS, 2012)

The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. - Martin Wehrle; Malte Helmert; Yusra Alkhazraji; Robert Mattmüller (ICAPS, 2013)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

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 001; Bernhard Nebel (AAAI, 2014)

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

Under-Approximation Refinement for Classical Planning. - Manuel Heusner; Martin Wehrle; Florian Pommerening; Malte Helmert (ICAPS, 2014)

Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies. - Martin Wehrle; Malte Helmert (ICAPS, 2014)

Bounded Intention Planning Revisited. - Silvan Sievers; Martin Wehrle; Malte Helmert (ECAI, 2014)

Reducing GUI test suites via program slicing. - Stephan Arlt; Andreas Podelski; Martin Wehrle (ISSTA, 2014)

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

Heuristics and Symmetries in Classical Planning. - Alexander Shleyfman; Michael Katz 001; Malte Helmert; Silvan Sievers; Martin Wehrle (AAAI, 2015)

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

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. - Sergiy Bogomolov; Daniele Magazzeni; Stefano Minopoli; Martin Wehrle (ICAPS, 2015)

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

An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. - Silvan Sievers; Martin Wehrle; Malte Helmert; Michael Katz 001 (KI, 2015)

System Testing and Program Verification. - Stephan Arlt; Sergio Feo-Arenis; Andreas Podelski; Martin Wehrle (Software Engineering & Management, 2015)

Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). - Sascha Scherrer; Florian Pommerening; Martin Wehrle (SOCS, 2015)

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. - Ahmad Siyar Andisha; Martin Wehrle; Bernd Westphal (SPIN, 2015)

An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. - Silvan Sievers; Martin Wehrle; Malte Helmert (ICAPS, 2016)

Decoupled Strong Stubborn Sets. - Daniel Gnad 001; Martin Wehrle; Jörg Hoffmann 001 (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 001 (IJCAI, 2016)

Sleep Sets Meet Duplicate Elimination. - Yusra Alkhazraji; Martin Wehrle (SOCS, 2016)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)

Downward pattern refinement for timed automata. - Martin Wehrle; Sebastian Kupferschmid (Int. J. Softw. Tools Technol. Transf., 2016)

Stubborn Sets for Fully Observable Nondeterministic Planning. - Dominik Winterer; Yusra Alkhazraji; Michael Katz 001; Martin Wehrle (ICAPS, 2017)

Strengthening Canonical Pattern Databases with Structural Symmetries. - Silvan Sievers; Martin Wehrle; Malte Helmert; Michael Katz 001 (SOCS, 2017)

Temporal Planning as Refinement-Based Model Checking. - Alexander Heinz; Martin Wehrle; Sergiy Bogomolov; Daniele Magazzeni; Marius Greitschus; Andreas Podelski (ICAPS, 2019)

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. - Silvan Sievers; Gabriele Röger; Martin Wehrle; Michael Katz 001 (ICAPS, 2019)

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. - Daniel Gnad 001; Jörg Hoffmann 001; Martin Wehrle (J. Artif. Intell. Res., 2019)

On Weak Stubborn Sets in Classical Planning. - Silvan Sievers; Martin Wehrle (IJCAI, 2021)