| 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 | 199 | 2009 |
| Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017 | 64 | 2017 |
| Pattern database heuristics for fully observable nondeterministic planning R Mattmüller, M Ortlieb, M Helmert, P Bercher ICAPS, 2010 | 43 | 2010 |
| 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 |
| A stubborn set algorithm for optimal planning Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 2012, 891-892, 2012 | 39 | 2012 |
| Accuracy of Admissible Heuristic Functions in Selected Planning Domains. M Helmert, R Mattmüller AAAI, 938-943, 2008 | 39 | 2008 |
| Synthia: Verification and synthesis for timed automata HJ Peter, R Ehlers, R Mattmüller International Conference on Computer Aided Verification, 649-655, 2011 | 29 | 2011 |
| 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 | 29 | 2010 |
| 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 | 28 | 2018 |
| Abstractions for planning with state-dependent action costs F Geißer, T Keller, R Mattmüller Proc. ICAPS 2016, 2016 | 25 | 2016 |
| Planning for temporally extended goals as propositional satisfiability R Mattmüller, J Rintanen IJCAI, 2007 | 24 | 2007 |
| 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 | 23 | 2015 |
| 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 | 20 | 2010 |
| 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 | 19 | 2014 |
| Complexity of interval relaxed numeric planning J Aldinger, R Mattmüller, M Göbelbecker Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015 | 18 | 2015 |
| 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 | 17 | 2018 |
| Pyperplan Y Alkhazraji, M Frorath, M Grützner, T Liebetraut, M Ortlieb, J Seipp, ... | 16 | 2016 |
| Approximation properties of planning benchmarks M Helmert, R Mattmüller, G Röger ECAI, 2006 | 16 | 2006 |
| Component-based abstraction refinement for timed controller synthesis HJ Peter, R Mattmüller 2009 30th IEEE Real-Time Systems Symposium, 364-374, 2009 | 15 | 2009 |
| A planning graph heuristic for forward-chaining adversarial planning P Bercher, R Mattmüller ECAI 2008, 921-922, 2008 | 15 | 2008 |
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
