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 | 247 | 2012 |
Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017 | 85 | 2017 |
Pattern database heuristics for fully observable nondeterministic planning R Mattmüller, M Ortlieb, M Helmert, P Bercher ICAPS, 2010 | 62 | 2010 |
Symbolic top-k planning D Speck, R Mattmüller, B Nebel Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9967-9974, 2020 | 46 | 2020 |
A stubborn set algorithm for optimal planning Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 2012, 891-892, 2012 | 46 | 2012 |
Accuracy of admissible heuristic functions in selected planning domains M Helmert, R Mattmüller Proceedings of the 23rd national conference on Artificial intelligence …, 2008 | 42 | 2008 |
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 | 41 | 2013 |
Synthia: Verification and synthesis for timed automata HJ Peter, R Ehlers, R Mattmüller Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 35 | 2011 |
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 | 34 | 2018 |
Pyperplan Y Alkhazraji, M Frorath, M Grützner, M Helmert, T Liebetraut, R Mattmüller, ... URL https://doi. org/10.5281/zenodo 3700819, 2020 | 32 | 2020 |
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 | 30 | 2010 |
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 | 28 | 2021 |
Evaluation of the moral permissibility of action plans F Lindner, R Mattmüller, B Nebel Artificial Intelligence 287, 103350, 2020 | 28 | 2020 |
Abstractions for planning with state-dependent action costs F Geißer, T Keller, R Mattmüller Proc. ICAPS 2016, 2016 | 28 | 2016 |
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 | 25 | 2015 |
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 | 24 | 2019 |
Planning for temporally extended goals as propositional satisfiability R Mattmüller, J Rintanen IJCAI, 2007 | 24 | 2007 |
SYMPLE: symbolic planning based on EVMDDs D Speck, F Geißer, R Mattmüller IPC-9 planner abstracts, 91-94, 2018 | 23 | 2018 |
Moral permissibility of action plans F Lindner, R Mattmüller, B Nebel Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7635-7642, 2019 | 22 | 2019 |
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 | 22 | 2014 |