Martin Wehrle

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