| 2020 | AAAI | Symbolic Top-k Planning. | David Speck, Robert Mattmller, Bernhard Nebel |
| 2020 | KR | Token-based Execution Semantics for Multi-Agent Epistemic Planning. | Thorsten Engesser, Robert Mattmller, Bernhard Nebel, Felicitas Ritter |
| 2019 | AAAI | Moral Permissibility of Action Plans. | Felix Lindner, Robert Mattmller, Bernhard Nebel |
| 2019 | IJCAI | Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). | Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmller |
| 2019 | JELIA | The Dynamic Logic of Policies and Contingent Planning. | Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmller, Bernhard Nebel |
| 2019 | KI | An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. | Sumitra Corraya, Florian Geier, David Speck, Robert Mattmller |
| 2019 | KI | Epistemic Multi-agent Planning Using Monte-Carlo Tree Search. | Daniel Reifsteck, Thorsten Engesser, Robert Mattmller, Bernhard Nebel |
| 2018 | AAAI | On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning. | Robert Mattmller, Florian Geier, Benedict Wright, Bernhard Nebel |
| 2018 | IJCAI | Game Description Language and Dynamic Epistemic Logic Compared. | Thorsten Engesser, Robert Mattmller, Bernhard Nebel, Michael Thielscher |
| 2018 | KR | Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. | Thomas Bolander, Thorsten Engesser, Robert Mattmller, Bernhard Nebel |
| 2018 | KR | Compiling Away Soft Trajectory Constraints in Planning. | Benedict Wright, Robert Mattmller, Bernhard Nebel |
| 2016 | IJCAI | State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. | Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geier, Robert Mattmller |
| 2015 | IJCAI | Delete Relaxations for Planning with State-Dependent Action Costs. | Florian Geier, Thomas Keller, Robert Mattmller |
| 2015 | KI | Complexity of Interval Relaxed Numeric Planning. | Johannes Aldinger, Robert Mattmller, Moritz Gbelbecker |
| 2015 | KI | Necessary Observations in Nondeterministic Planning. | David Speck, Manuela Ortlieb, Robert Mattmller |
| 2015 | SoCS | Delete Relaxations for Planning with State-Dependent Action Costs. | Florian Geier, Thomas Keller, Robert Mattmller |
| 2014 | ECAI | Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games. | Florian Geier, Thomas Keller, Robert Mattmller |
| 2014 | KI | An Experimental Comparison of Classical, FOND and Probabilistic Planning. | Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmller, Manuela Ortlieb, Bernhard Nebel |
| 2014 | KI | Minimizing Necessary Observations for Nondeterministic Planning. | Robert Mattmller, Manuela Ortlieb, Erik Wacker |
| 2013 | KI | Pattern-Database Heuristics for Partially Observable Nondeterministic Planning. | Manuela Ortlieb, Robert Mattmller |
| 2012 | ECAI | A Stubborn Set Algorithm for Optimal Planning. | Yusra Alkhazraji, Martin Wehrle, Robert Mattmller, Malte Helmert |
| 2011 | CAV | Synthia: Verification and Synthesis for Timed Automata. | Hans-Jrg Peter, Rdiger Ehlers, Robert Mattmller |
| 2009 | KI | Solving Non-deterministic Planning Problems with Pattern Database Heuristics. | Pascal Bercher, Robert Mattmller |
| 2009 | RTSS | Component-Based Abstraction Refinement for Timed Controller Synthesis. | Hans-Jrg Peter, Robert Mattmller |
| 2008 | AAAI | Accuracy of Admissible Heuristic Functions in Selected Planning Domains. | Malte Helmert, Robert Mattmller |
| 2008 | ECAI | A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. | Pascal Bercher, Robert Mattmller |
| 2007 | IJCAI | Planning for Temporally Extended Goals as Propositional Satisfiability. | Robert Mattmller, Jussi Rintanen |
| 2006 | ATVA | Selective Approaches for Solving Weak Games. | Malte Helmert, Robert Mattmller, Sven Schewe |
| 2006 | ECAI | Aproximation Properties of Planning Benchmarks. | Malte Helmert, Robert Mattmller, Gabriele Rger |