Martin Wehrle

According to our database, Martin Wehrle authored at least 43 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On Weak Stubborn Sets in Classical Planning.

Silvan Sievers, Martin Wehrle

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2019

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.

Daniel Gnad, Jörg Hoffmann, Martin Wehrle

J. Artif. Intell. Res., 2019

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks.

Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Temporal Planning as Refinement-Based Model Checking.

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2017

Strengthening Canonical Pattern Databases with Structural Symmetries.

Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Stubborn Sets for Fully Observable Nondeterministic Planning.

Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Downward pattern refinement for timed automata.

Martin Wehrle, Sebastian Kupferschmid

Int. J. Softw. Tools Technol. Transf., 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

Sleep Sets Meet Duplicate Elimination.

Yusra Alkhazraji, Martin Wehrle

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Structural Symmetries for Fully Observable Nondeterministic Planning.

Dominik Winterer, Martin Wehrle, Michael Katz

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Graph-Based Factorization of Classical Planning Problems.

Martin Wehrle, Silvan Sievers, Malte Helmert

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Decoupled Strong Stubborn Sets.

Daniel Gnad, Martin Wehrle, Jörg Hoffmann

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.

Silvan Sievers, Martin Wehrle, Malte Helmert

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.

Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract).

Sascha Scherrer, Florian Pommerening, Martin Wehrle

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

System Testing and Program Verification.

Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.

Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.

Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.

Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Factored Symmetries for Merge-and-Shrink Abstractions.

Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Heuristics and Symmetries in Classical Planning.

Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

A Generalization of Sleep Sets Based on Operator Sequence Redundancy.

Robert C. Holte, Yusra Alkhazraji, Martin Wehrle

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Reducing GUI test suites via program slicing.

Stephan Arlt, Andreas Podelski, Martin Wehrle

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Bounded Intention Planning Revisited.

Silvan Sievers, Martin Wehrle, Malte Helmert

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies.

Martin Wehrle, Malte Helmert

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Under-Approximation Refinement for Classical Planning.

Manuel Heusner, Martin Wehrle, Florian Pommerening, Malte Helmert

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Generalized Label Reduction for Merge-and-Shrink Heuristics.

Silvan Sievers, Martin Wehrle, Malte Helmert

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Symbolic Domain Predictive Control.

Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Planning as Model Checking in Hybrid Domains.

Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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

Proceedings of the Model Checking Software - 20th International Symposium, 2013

The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.

Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Mcta: Heuristics and Search for Timed Systems.

Martin Wehrle, Sebastian Kupferschmid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

A Stubborn Set Algorithm for Optimal Planning.

Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert

Proceedings of the ECAI 2012, 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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

About Partial Order Reduction in Planning and Computer Aided Verification.

Martin Wehrle, Malte Helmert

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011

Transition-based directed model checking = Transitionsbasierte gerichtete Modellprüfung.

Martin Wehrle

PhD thesis, 2011

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.

Sebastian Kupferschmid, Martin Wehrle

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Context-Enhanced Directed Model Checking.

Martin Wehrle, Sebastian Kupferschmid

Proceedings of the Model Checking Software, 2010

2009

Transition-Based Directed Model Checking.

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

The Causal Graph Revisited for Directed Model Checking.

Martin Wehrle, Malte Helmert

Proceedings of the Static Analysis, 16th International Symposium, 2009

2008

Faster Than Uppaal?

Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Useless Actions Are Useful.

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Planning as Satisfiability with Relaxed $-Step Plans.

Martin Wehrle, Jussi Rintanen

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007