Robert Mattmüller

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 24

Top Venues

ICAPS

IJCAI

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Julian von Tschammer, Robert Mattmüller, David Speck
Loopless Top-K Planning. ICAPS (2022)
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
Learning Heuristic Selection with Dynamic Algorithm Configuration. ICAPS (2021)
David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel
On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS (2021)
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
Game description language and dynamic epistemic logic compared. Artif. Intell. 292 (2021)
David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller, Marius Lindauer
Learning Heuristic Selection with Dynamic Algorithm Configuration. CoRR (2020)
David Speck, Florian Geißer, Robert Mattmüller
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search. ICAPS (2020)
Felix Lindner, Robert Mattmüller, Bernhard Nebel
Evaluation of the moral permissibility of action plans. Artif. Intell. 287 (2020)
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter
Token-based Execution Semantics for Multi-Agent Epistemic Planning. KR (2020)
David Speck, Robert Mattmüller, Bernhard Nebel
Symbolic Top-k Planning. AAAI (2020)
Felix Lindner, Robert Mattmüller, Bernhard Nebel
Moral Permissibility of Action Plans. AAAI (2019)
Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
Epistemic Multi-agent Planning Using Monte-Carlo Tree Search. KI (2019)
Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. J. Artif. Intell. Res. 64 (2019)
David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba
Symbolic Planning with Axioms. ICAPS (2019)
Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). IJCAI (2019)
Sumitra Corraya, Florian Geißer, David Speck, Robert Mattmüller
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. KI (2019)
Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
The Dynamic Logic of Policies and Contingent Planning. JELIA (2019)
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
Game Description Language and Dynamic Epistemic Logic Compared. IJCAI (2018)
Benedict Wright, Robert Mattmüller, Bernhard Nebel
Compiling Away Soft Trajectory Constraints in Planning. KR (2018)
Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel
On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning. AAAI (2018)
David Speck, Florian Geißer, Robert Mattmüller
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams. ICAPS (2018)
Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. KR (2018)
Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. M4M@ICLA (2017)
Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. IJCAI (2016)
Florian Geißer, Thomas Keller, Robert Mattmüller
Abstractions for Planning with State-Dependent Action Costs. ICAPS (2016)
Florian Geißer, Thomas Keller, Robert Mattmüller
Delete Relaxations for Planning with State-Dependent Action Costs. IJCAI (2015)
Florian Geißer, Thomas Keller, Robert Mattmüller
Delete Relaxations for Planning with State-Dependent Action Costs. SOCS (2015)
David Speck, Manuela Ortlieb, Robert Mattmüller
Necessary Observations in Nondeterministic Planning. KI (2015)
Johannes Aldinger, Robert Mattmüller, Moritz Göbelbecker
Complexity of Interval Relaxed Numeric Planning. KI (2015)
Florian Geißer, Thomas Keller, Robert Mattmüller
Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games. ECAI (2014)
Robert Mattmüller, Manuela Ortlieb, Erik Wacker
Minimizing Necessary Observations for Nondeterministic Planning. KI (2014)
Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel
An Experimental Comparison of Classical, FOND and Probabilistic Planning. KI (2014)
Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. ICAPS (2013)
Manuela Ortlieb, Robert Mattmüller
Pattern-Database Heuristics for Partially Observable Nondeterministic Planning. KI (2013)
Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert
A Stubborn Set Algorithm for Optimal Planning. ECAI (2012)
Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller
Synthia: Verification and Synthesis for Timed Automata. CAV (2011)
Robert Mattmüller, Manuela Ortlieb, Malte Helmert, Pascal Bercher
Pattern Database Heuristics for Fully Observable Nondeterministic Planning. ICAPS (2010)
Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter
Combining Symbolic Representations for Solving Timed Games. FORMATS (2010)
J. Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattmüller, Subbarao Kambhampati
G-Value Plateaus: A Challenge for Planning. ICAPS (2010)
Patrick Eyerich, Robert Mattmüller, Gabriele Röger
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning. ICAPS (2009)
Hans-Jörg Peter, Robert Mattmüller
Component-Based Abstraction Refinement for Timed Controller Synthesis. RTSS (2009)
Pascal Bercher, Robert Mattmüller
Solving Non-deterministic Planning Problems with Pattern Database Heuristics. KI (2009)
Pascal Bercher, Robert Mattmüller
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. ECAI (2008)
Malte Helmert, Robert Mattmüller
Accuracy of Admissible Heuristic Functions in Selected Planning Domains. AAAI (2008)
Robert Mattmüller, Jussi Rintanen
Planning for Temporally Extended Goals as Propositional Satisfiability. IJCAI (2007)
Malte Helmert, Robert Mattmüller, Gabriele Röger
Aproximation Properties of Planning Benchmarks. ECAI (2006)
Malte Helmert, Robert Mattmüller, Sven Schewe
Selective Approaches for Solving Weak Games. ATVA (2006)

Robert Mattmüller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Mattmüller