Följ
Martin Wehrle
Martin Wehrle
Okänd anknytning
Verifierad e-postadress på informatik.uni-freiburg.de
Titel
Citeras av
Citeras av
År
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
772015
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
28th AAAI Conference on Artificial Intelligence, 2014
752014
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2014
702014
About Partial Order Reduction in Planning and Computer Aided Verification.
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2012
622012
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
28th AAAI Conference on Artificial Intelligence, 2014
612014
Planning as satisfiability with relaxed-step plans
M Wehrle, J Rintanen
Australasian Joint Conference on Artificial Intelligence, 244-253, 2007
592007
An analysis of merge strategies for merge-and-shrink heuristics
S Sievers, M Wehrle, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2016
502016
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
472012
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
432015
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
422013
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, 449-467, 2016
362016
Theoretical foundations for structural symmetries of lifted PDDL tasks
S Sievers, G Röger, M Wehrle, M Katz
Proceedings of the International Conference on Automated Planning and …, 2019
342019
Faster Than Uppaal? Tool Paper
S Kupferschmid, M Wehrle, B Nebel, A Podelski
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
322008
Reducing GUI Test Suites via Program Slicing
S Arlt, A Podelski, M Wehrle
International Symposium on Software Testing and Analysis, 2014
312014
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
282015
Fast downward aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
Unsolvability International Planning Competition: planner abstracts, 28-38, 2016
242016
Abstraction-based guided search for hybrid systems
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
242013
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
232014
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
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
222012
Integrating partial order reduction and symmetry elimination for cost-optimal classical planning
M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI Press, 2015
182015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20