Get started
Author

Robert Mattmüller

Observed names: Mattmüller, Robert, Robert Mattmuller
ORCID: 0000-0002-1705-5476
Observed ORCID: 0000-0002-1705-5476
OpenAlex ID: A5029017703
Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning
2012 · Patrick Eyerich, Robert Mattmüller, et al. · Springer tracts in advanced robotics · 126
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning
2009 · Patrick Eyerich, Robert Mattmüller, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 90
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination
2017 · Thorsten Engesser, Thomas Bolander, et al. · Electronic Proceedings in Theoretical Computer Science · 58
PDF
Pattern Database Heuristics for Fully Observable Nondeterministic Planning
2010 · Robert Mattmüller, Manuela Ortlieb, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 35
PDF
Synthia: Verification and Synthesis for Timed Automata
2011 · Hans-Jörg Peter, Rüdiger Ehlers, et al. · Lecture notes in computer science · 30
Symbolic Top-k Planning
2020 · David Speck, Robert Mattmüller, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 29
Accuracy of admissible heuristic functions in selected planning domains
2008 · Malte Helmert, Robert Mattmüller · 27
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core
2013 · Martin Wehrle, Malte Helmert, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 26
PDF
Pattern-Database Heuristics for Partially Observable Nondeterministic Planning
2013 · Manuela Ortlieb, Robert Mattmüller · Lecture notes in computer science · 21
Learning Heuristic Selection with Dynamic Algorithm Configuration
2021 · David Speck, André Biedenkapp, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 20
PDF
Evaluation of the moral permissibility of action plans
2020 · Felix Lindner, Robert Mattmüller, et al. · Artificial Intelligence · 18
PDF
Abstractions for Planning with State-Dependent Action Costs
2016 · Florian Geißer, Thomas Keller, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 18
PDF
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity
2019 · Bernhard Nebel, Thomas Bolander, et al. · Journal of Artificial Intelligence Research · 16
PDF
Moral Permissibility of Action Plans
2019 · Felix Lindner, Robert Mattmüller, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 14
Complexity of Interval Relaxed Numeric Planning
2015 · Johannes Aldinger, Robert Mattmüller, et al. · Lecture notes in computer science · 14
Combining Symbolic Representations for Solving Timed Games
2010 · Rüdiger Ehlers, Robert Mattmüller, et al. · Lecture notes in computer science · 14
Planning for temporally extended goals as propositional satisfiability
2007 · Robert Mattmüller, Jussi Rintanen · 13
Delete Relaxations for Planning with State-Dependent Action Costs
2021 · Florian Geißer, Thomas Keller, et al. · Proceedings of the International Symposium on Combinatorial Search · 12
PDF
G-Value Plateaus: A Challenge for Planning
2021 · J. Benton, Kartik Talamadupula, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 12
PDF
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams
2018 · David Speck, Florian Geißer, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 12
PDF
State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning
2016 · Keller, Thomas, Pommerening, Florian, et al. · edoc (University of Basel) · 12
PDF
Game Description Language and Dynamic Epistemic Logic Compared
2018 · Thorsten Engesser, Robert Mattmüller, et al. · International Joint Conference on Artificial Intelligence · 11
PDF
Delete relaxations for planning with state-dependent action costs
2015 · Florian Geißer, Thomas Keller, et al. · International Conference on Artificial Intelligence · 11
Metis: Arming Fast Downward with Pruning and Incremental Computation
2014 · Yusra Alkhazraji, Michael Katz, et al. · 11
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search
2020 · David Speck, Florian Geißer, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 10
PDF
Works count: 52
Citation count: 762
H-index: 14
I10-index: 25
Year
Topic
Type