Volgen
Robert Mattmüller
Robert Mattmüller
University of Freiburg, Germany
Geverifieerd e-mailadres voor robert-mattmueller.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Using the context-enhanced additive heuristic for temporal and numeric planning
P Eyerich, R Mattmüller, G Röger
Towards Service Robots for Everyday Environments: Recent Advances in …, 2012
2472012
Cooperative epistemic multi-agent planning for implicit coordination
T Engesser, T Bolander, R Mattmüller, B Nebel
arXiv preprint arXiv:1703.02196, 2017
852017
Pattern database heuristics for fully observable nondeterministic planning
R Mattmüller, M Ortlieb, M Helmert, P Bercher
ICAPS, 2010
622010
A stubborn set algorithm for optimal planning
Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert
ECAI 2012, 891-892, 2012
462012
Symbolic top-k planning
D Speck, R Mattmüller, B Nebel
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9967-9974, 2020
452020
Accuracy of admissible heuristic functions in selected planning domains
M Helmert, R Mattmüller
Proceedings of the 23rd national conference on Artificial intelligence …, 2008
432008
The relative pruning power of strong stubborn sets and expansion core
M Wehrle, M Helmert, Y Alkhazraji, R Mattmüller
Proceedings of the International Conference on Automated Planning and …, 2013
412013
Synthia: Verification and synthesis for timed automata
HJ Peter, R Ehlers, R Mattmüller
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
352011
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
342018
Pyperplan
Y Alkhazraji, M Frorath, M Grützner, M Helmert, T Liebetraut, R Mattmüller, ...
URL https://doi. org/10.5281/zenodo 3700819, 2020
312020
G-value plateaus: A challenge for planning
J Benton, K Talamadupula, P Eyerich, R Mattmuller, S Kambhampati
Proceedings of the International Conference on Automated Planning and …, 2010
302010
Learning heuristic selection with dynamic algorithm configuration
D Speck, A Biedenkapp, F Hutter, R Mattmüller, M Lindauer
Proceedings of the International Conference on Automated Planning and …, 2021
282021
Abstractions for planning with state-dependent action costs
F Geißer, T Keller, R Mattmüller
Proc. ICAPS 2016, 2016
282016
Evaluation of the moral permissibility of action plans
F Lindner, R Mattmüller, B Nebel
Artificial Intelligence 287, 103350, 2020
262020
Delete relaxations for planning with state-dependent action costs
F Geißer, T Keller, R Mattmüller
Proceedings of the International Symposium on Combinatorial Search 6 (1 …, 2015
252015
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
242014
Planning for temporally extended goals as propositional satisfiability
R Mattmüller, J Rintanen
IJCAI, 2007
242007
Implicitly coordinated multi-agent path finding under destination uncertainty: Success guarantees and computational complexity
B Nebel, T Bolander, T Engesser, R Mattmüller
Journal of Artificial Intelligence Research 64, 497-527, 2019
232019
SYMPLE: symbolic planning based on EVMDDs
D Speck, F Geißer, R Mattmüller
IPC-9 planner abstracts, 91-94, 2018
232018
Game description language and dynamic epistemic logic compared
T Engesser, R Mattmüller, B Nebel, M Thielscher
Artificial Intelligence 292, 103433, 2021
222021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20