Robert Mattmüller
Robert Mattmüller
University of Freiburg, Germany
Adresse e-mail validée de robert-mattmueller.de - Page d'accueil
Titre
Citée par
Citée par
Année
Using the context-enhanced additive heuristic for temporal and numeric planning
P Eyerich, R Mattmüller, G Röger
Nineteenth International Conference on Automated Planning and Scheduling, 2009
1782009
Cooperative epistemic multi-agent planning for implicit coordination
T Engesser, T Bolander, R Mattmüller, B Nebel
arXiv preprint arXiv:1703.02196, 2017
502017
The relative pruning power of strong stubborn sets and expansion core
M Wehrle, M Helmert, Y Alkhazraji, R Mattmüller
Twenty-Third International Conference on Automated Planning and Scheduling, 2013
372013
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
372012
Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
M Helmert, R Mattmüller
AAAI, 938-943, 2008
362008
Pattern database heuristics for fully observable nondeterministic planning
R Mattmüller, M Ortlieb, M Helmert, P Bercher
ICAPS, 2010
342010
G-value plateaus: A challenge for planning
J Benton, K Talamadupula, P Eyerich, R Mattmuller, S Kambhampati
Twentieth International Conference on Automated Planning and Scheduling, 2010
292010
Synthia: Verification and synthesis for timed automata
HJ Peter, R Ehlers, R Mattmüller
International Conference on Computer Aided Verification, 649-655, 2011
262011
Abstractions for planning with state-dependent action costs
F Geißer, T Keller, R Mattmüller
Proc. ICAPS 2016, 2016
242016
Better eager than lazy? How agent types impact the successfulness of implicit coordination
T Bolander, T Engesser, R Mattmüller, B Nebel
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
232018
Planning for temporally extended goals as propositional satisfiability
R Mattmüller, J Rintanen
IJCAI, 2007
232007
Delete relaxations for planning with state-dependent action costs
F Geißer, T Keller, R Mattmüller
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
202015
Combining symbolic representations for solving timed games
R Ehlers, R Mattmüller, HJ Peter
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
192010
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
182014
Complexity of interval relaxed numeric planning
J Aldinger, R Mattmüller, M Göbelbecker
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015
172015
Approximation properties of planning benchmarks
M Helmert, R Mattmüller, G Röger
ECAI, 2006
162006
Symbolic planning with edge-valued multi-valued decision diagrams
D Speck, F Geißer, R Mattmüller
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
152018
Component-based abstraction refinement for timed controller synthesis
HJ Peter, R Mattmüller
2009 30th IEEE Real-Time Systems Symposium, 364-374, 2009
152009
A planning graph heuristic for forward-chaining adversarial planning
P Bercher, R Mattmüller
ECAI 2008, 921-922, 2008
152008
State-dependent cost partitionings for cartesian abstractions in classical planning
T Keller, F Pommerening, J Seipp, F Geißer, R Mattmüller
KI 2016: Advances in Artificial Intelligence: 39th Annual German Conference …, 2016
122016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20