Folgen
Martin Wehrle
Martin Wehrle
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
28th AAAI Conference on Artificial Intelligence, 2014
682014
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
642015
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2014
642014
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
28th AAAI Conference on Artificial Intelligence, 2014
612014
About Partial Order Reduction in Planning and Computer Aided Verification.
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2012
572012
Planning as satisfiability with relaxed-step plans
M Wehrle, J Rintanen
Australasian Joint Conference on Artificial Intelligence, 244-253, 2007
562007
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
442012
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
432016
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
392013
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
352016
Faster Than Uppaal? Tool Paper
S Kupferschmid, M Wehrle, B Nebel, A Podelski
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
302008
Reducing GUI Test Suites via Program Slicing
S Arlt, A Podelski, M Wehrle
International Symposium on Software Testing and Analysis, 2014
292014
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
272015
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
262019
Fast downward aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
Unsolvability International Planning Competition: planner abstracts, 28-38, 2016
232016
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
232013
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
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
202014
Integrating partial order reduction and symmetry elimination for cost-optimal classical planning
M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI Press, 2015
172015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20