Mattmüller, Robert

10 publications

AAAI 2020 Symbolic Top-K Planning David Speck, Robert Mattmüller, Bernhard Nebel

JAIR 2019 Implicitly Coordinated Multi-Agent Path Finding Under Destination Uncertainty: Success Guarantees and Computational Complexity Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

IJCAI 2019 Implicitly Coordinated Multi-Agent Path Finding Under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract) Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

AAAI 2019 Moral Permissibility of Action Plans Felix Lindner, Robert Mattmüller, Bernhard Nebel

IJCAI 2018 Game Description Language and Dynamic Epistemic Logic Compared Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher

AAAI 2018 On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel

IJCAI 2016 State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller

IJCAI 2015 Delete Relaxations for Planning with State-Dependent Action Costs Florian Geißer, Thomas Keller, Robert Mattmüller

AAAI 2008 Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert, Robert Mattmüller

IJCAI 2007 Planning for Temporally Extended Goals as Propositional Satisfiability Robert Mattmüller, Jussi Rintanen