Follow
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
592014
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
28th AAAI Conference on Artificial Intelligence, 2014
572014
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
28th AAAI Conference on Artificial Intelligence, 2014
562014
Heuristics and symmetries in classical planning
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
542015
Planning as Satisfiability with Relaxed -Step Plans
M Wehrle, J Rintanen
Australasian Joint Conference on Artificial Intelligence, 244-253, 2007
542007
About Partial Order Reduction in Planning and Computer Aided Verification.
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2012
512012
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
402012
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Proceedings of the International Conference on Automated Planning and …, 2015
392015
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
392013
An analysis of merge strategies for merge-and-shrink heuristics
S Sievers, M Wehrle, M Helmert
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
322016
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
312016
Faster than UPPAAL?
S Kupferschmid, M Wehrle, B Nebel, A Podelski
International Conference on Computer Aided Verification, 552-555, 2008
282008
Factored symmetries for merge-and-shrink abstractions
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
262015
Reducing GUI Test Suites via Program Slicing
S Arlt, A Podelski, M Wehrle
International Symposium on Software Testing and Analysis, 2014
262014
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
Fast downward aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
Unsolvability International Planning Competition: planner abstracts, 28-38, 2016
222016
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
222012
Metis: Arming fast downward with pruning and incremental computation
Y Alkhazraji, M Katz, R Mattmüller, F Pommerening, A Shleyfman, ...
International Planning Competition (IPC), 88-92, 2014
192014
Integrating partial order reduction and symmetry elimination for cost-optimal classical planning
M Wehrle, M Helmert, A Shleyfman, M Katz
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
162015
Transition-based directed model checking
M Wehrle, S Kupferschmid, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20