Folgen
Martin Wehrle
Martin Wehrle
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
Planning as Model Checking in Hybrid Domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
28th AAAI Conference on Artificial Intelligence, 2014
602014
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
28th AAAI Conference on Artificial Intelligence, 2014
602014
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2014
602014
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
582015
Planning as Satisfiability with Relaxed -Step Plans
M Wehrle, J Rintanen
AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007
542007
About Partial Order Reduction in Planning and Computer Aided Verification.
M Wehrle, M Helmert
International Conference on Automated Planning and Scheduling, 2012
522012
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
412015
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
412012
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
Proceedings of the International Conference on Automated Planning and …, 2016
362016
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
332016
Faster than UPPAAL
S Kupferschmid, M Wehrle, B Nebel, A Podelski
CAV, 552-555, 2008
302008
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
Reducing GUI Test Suites via Program Slicing
S Arlt, A Podelski, M Wehrle
International Symposium on Software Testing and Analysis, 2014
272014
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
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
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
232012
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
212019
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
AAAI Press, 2015
162015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20