Martin Wehrle

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 22

Top Venues

ICAPS

AAAI

IJCAI

SOCS

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Silvan Sievers, Martin Wehrle
On Weak Stubborn Sets in Classical Planning. IJCAI (2021)
Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking. ICAPS (2019)
Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS (2019)
Daniel Gnad, Jörg Hoffmann, Martin Wehrle
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65 (2019)
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
Strengthening Canonical Pattern Databases with Structural Symmetries. SOCS (2017)
Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle
Stubborn Sets for Fully Observable Nondeterministic Planning. ICAPS (2017)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Dominik Winterer, Martin Wehrle, Michael Katz
Structural Symmetries for Fully Observable Nondeterministic Planning. IJCAI (2016)
Silvan Sievers, Martin Wehrle, Malte Helmert
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. ICAPS (2016)
Daniel Gnad, Martin Wehrle, Jörg Hoffmann
Decoupled Strong Stubborn Sets. IJCAI (2016)
Yusra Alkhazraji, Martin Wehrle
Sleep Sets Meet Duplicate Elimination. SOCS (2016)
Martin Wehrle, Sebastian Kupferschmid
Downward pattern refinement for timed automata. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Martin Wehrle, Silvan Sievers, Malte Helmert
Graph-Based Factorization of Classical Planning Problems. IJCAI (2016)
Robert C. Holte, Yusra Alkhazraji, Martin Wehrle
A Generalization of Sleep Sets Based on Operator Sequence Redundancy. AAAI (2015)
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
Heuristics and Symmetries in Classical Planning. AAAI (2015)
Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS (2015)
Stephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle
System Testing and Program Verification. Software Engineering & Management (2015)
Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. SPIN (2015)
Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. KI (2015)
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. IJCAI (2015)
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Factored Symmetries for Merge-and-Shrink Abstractions. AAAI (2015)
Sascha Scherrer, Florian Pommerening, Martin Wehrle
Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). SOCS (2015)
Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
Planning as Model Checking in Hybrid Domains. AAAI (2014)
Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel
Symbolic Domain Predictive Control. AAAI (2014)
Manuel Heusner, Martin Wehrle, Florian Pommerening, Malte Helmert
Under-Approximation Refinement for Classical Planning. ICAPS (2014)
Silvan Sievers, Martin Wehrle, Malte Helmert
Bounded Intention Planning Revisited. ECAI (2014)
Silvan Sievers, Martin Wehrle, Malte Helmert
Generalized Label Reduction for Merge-and-Shrink Heuristics. AAAI (2014)
Stephan Arlt, Andreas Podelski, Martin Wehrle
Reducing GUI test suites via program slicing. ISSTA (2014)
Martin Wehrle, Malte Helmert
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies. ICAPS (2014)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Abstraction-Based Guided Search for Hybrid Systems. SPIN (2013)
Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. ICAPS (2013)
Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert
A Stubborn Set Algorithm for Optimal Planning. ECAI (2012)
Martin Wehrle, Sebastian Kupferschmid
Mcta: Heuristics and Search for Timed Systems. FORMATS (2012)
Martin Wehrle, Malte Helmert
About Partial Order Reduction in Planning and Computer Aided Verification. ICAPS (2012)
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV (2012)
Sebastian Kupferschmid, Martin Wehrle
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. TACAS (2011)
Martin Wehrle, Sebastian Kupferschmid
Context-Enhanced Directed Model Checking. SPIN (2010)
Martin Wehrle, Malte Helmert
The Causal Graph Revisited for Directed Model Checking. SAS (2009)
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
Transition-Based Directed Model Checking. TACAS (2009)
Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski
Faster Than Uppaal? CAV (2008)
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
Useless Actions Are Useful. ICAPS (2008)
Martin Wehrle, Jussi Rintanen
Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence (2007)

Martin Wehrle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Wehrle