| 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 | 231 | 2012 |
| Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017 | 80 | 2017 |
| Pattern database heuristics for fully observable nondeterministic planning R Mattmüller, M Ortlieb, M Helmert, P Bercher ICAPS, 2010 | 53 | 2010 |
| A stubborn set algorithm for optimal planning Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 2012, 891-892, 2012 | 44 | 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 | 41 | 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 | 39 | 2013 |
| Synthia: Verification and synthesis for timed automata HJ Peter, R Ehlers, R Mattmüller Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 33 | 2011 |
| Symbolic top-k planning D Speck, R Mattmüller, B Nebel Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9967-9974, 2020 | 32 | 2020 |
| 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 | 30 | 2018 |
| 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 |
| Pyperplan Y Alkhazraji, M Frorath, M Grützner, M Helmert, T Liebetraut, R Mattmüller, ... | 28 | 2016 |
| 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 |
| Planning for temporally extended goals as propositional satisfiability R Mattmüller, J Rintanen IJCAI, 2007 | 24 | 2007 |
| 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 | 23 | 2021 |
| Evaluation of the moral permissibility of action plans F Lindner, R Mattmüller, B Nebel Artificial Intelligence 287, 103350, 2020 | 22 | 2020 |
| SYMPLE: symbolic planning based on EVMDDs D Speck, F Geißer, R Mattmüller IPC-9 planner abstracts, 91-94, 2018 | 22 | 2018 |
| 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 | 21 | 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 | 21 | 2014 |
| 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 | 21 | 2010 |
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
