Martin Wehrle
Martin Wehrle
Unknown affiliation
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2014
492014
About Partial Order Reduction in Planning and Computer Aided Verification.
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2012
462012
Planning as Satisfiability with Relaxed -Step Plans
M Wehrle, J Rintanen
Australasian Joint Conference on Artificial Intelligence, 244-253, 2007
462007
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
28th AAAI Conference on Artificial Intelligence, 2014
422014
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
28th AAAI Conference on Artificial Intelligence, 2014
422014
Heuristics and symmetries in classical planning
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
AAAI Press, 2015
372015
A Stubborn Set Algorithm for Optimal Planning.
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 242, 891-892, 2012
342012
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
M Wehrle, M Helmert, Y Alkhazraji, R Mattmüller
International Conference on Automated Planning and Scheduling, 2013
332013
Guided search for hybrid systems based on coarse-grained space abstractions
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International Journal on Software Tools for Technology Transfer 18 (4), 449-467, 2016
292016
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Association for the Advancement of Artificial Intelligence (AAAI), 2016
282016
Faster than UPPAAL?
S Kupferschmid, M Wehrle, B Nebel, A Podelski
International Conference on Computer Aided Verification, 552-555, 2008
252008
Abstraction-based guided search for hybrid systems
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International SPIN Workshop on Model Checking of Software, 117-134, 2013
242013
A box-based distance between regions for guiding the reachability analysis of SpaceEx
S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski, M Wehrle
International Conference on Computer Aided Verification, 479-494, 2012
212012
Factored symmetries for merge-and-shrink abstractions
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI Press, 2015
192015
Reducing GUI Test Suites via Program Slicing
S Arlt, A Podelski, M Wehrle
International Symposium on Software Testing and Analysis, 2014
192014
Fast downward aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
Unsolvability International Planning Competition: planner abstracts, 28-38, 2016
172016
An analysis of merge strategies for merge-and-shrink heuristics
S Sievers, M Wehrle, M Helmert
AAAI Press, 2016
162016
Metis: Arming fast downward with pruning and incremental computation
Y Alkhazraji, M Katz, R Matmüller, F Pommerening, A Shleyfman, ...
International Planning Competition (IPC), 88-92, 2014
162014
Transition-based directed model checking
M Wehrle, S Kupferschmid, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2009
152009
The causal graph revisited for directed model checking
M Wehrle, M Helmert
International Static Analysis Symposium, 86-101, 2009
132009
The system can't perform the operation now. Try again later.
Articles 1–20