Publications

2018

David Speck; Florian Geißer; Robert Mattmüller

Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams Inproceedings

Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), 2018.

Abstract | Links | BibTeX

Benedict Wright; Robert Mattmüller; Bernhard Nebel

Compiling Away Soft Trajectory Constraints in Planning Inproceedings

Proceedings of the ICAPS-2018 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2018), 2018.

Abstract | Links | BibTeX

Felix Lindner; Robert Mattmüller; Bernhard Nebel

Moral Permissibility of Action Plans Inproceedings

Proceedings of the ICAPS-2018 Workshop on eXplainable AI Planning (XAIP 2018), 2018.

Abstract | Links | BibTeX

Robert Mattmüller; Florian Geißer; Benedict Wright; Bernhard Nebel

On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning Inproceedings

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018.

Abstract | Links | BibTeX

2017

Robert Mattmüller; Florian Geißer; Benedict Wright; Bernhard Nebel

On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning Inproceedings

Proceedings of the 9th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2017), 2017.

Abstract | Links | BibTeX

Thorsten Engesser; Thomas Bolander; Robert Mattmüller; Bernhard Nebel

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination Inproceedings

Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017), pp. 75–90, 2017.

Abstract | Links | BibTeX

2016

Thomas Keller; Florian Pommerening; Jendrik Seipp; Florian Geißer; Robert Mattmüller

State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract) Inproceedings

Proceedings of the 39th German Conference on Artificial Intelligence (KI 2016), 2016.

Abstract | Links | BibTeX

Thomas Keller; Florian Pommerening; Jendrik Seipp; Florian Geißer; Robert Mattmüller

State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning Inproceedings

Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016.

Abstract | Links | BibTeX

Florian Geißer; Thomas Keller; Robert Mattmüller

Abstractions for Planning with State-Dependent Action Costs Inproceedings

Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 2016.

Abstract | Links | BibTeX

Thomas Bolander; Thorsten Engesser; Robert Mattmüller; Bernhard Nebel

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination Inproceedings

Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016), 2016.

Abstract | Links | BibTeX

2015

Johannes Aldinger; Robert Mattmüller; Moritz Göbelbecker

Complexity Issues of Interval Relaxed Numeric Planning Inproceedings

Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), pp. 19–31, 2015.

Abstract | Links | BibTeX

David Speck; Manuela Ortlieb; Robert Mattmüller

Necessary Observations in Nondeterministic Planning Inproceedings

Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), pp. 181–193, 2015.

Abstract | Links | BibTeX

Florian Geißer; Thomas Keller; Robert Mattmüller

Delete Relaxations for Planning with State-Dependent Action Costs Inproceedings

Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1573–1579, 2015.

Abstract | Links | BibTeX

Florian Geißer; Thomas Keller; Robert Mattmüller

Delete Relaxations for Planning with State-Dependent Action Costs Inproceedings

Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 228–229, 2015.

Abstract | Links | BibTeX

Johannes Aldinger; Robert Mattmüller; Moritz Göbelbecker

Complexity Issues of Interval Relaxed Numeric Planning Inproceedings

Proceedings of the ICAPS-2015 Workshop on Heuristic and Search for Domain-Independent Planning (HSDIP 2015), pp. 4–12, 2015.

Abstract | Links | BibTeX

Thorsten Engesser; Thomas Bolander; Robert Mattmüller; Bernhard Nebel

Cooperative Epistemic Multi-Agent Planning With Implicit Coordination Inproceedings

Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015), pp. 68–76, 2015.

Abstract | Links | BibTeX

Jonas Thiem; Robert Mattmüller; Manuela Ortlieb

Counterexample-Guided Abstraction Refinement for POND Planning Inproceedings

Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015), pp. 13–14, 2015.

Abstract | Links | BibTeX

Dominik Winterer; Robert Mattmüller; Martin Wehrle

Stubborn Sets for Fully Observable Nondeterministic Planning Inproceedings

Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015), pp. 6–12, 2015.

Abstract | Links | BibTeX

2014

Andreas Hertle; Christian Dornhege; Thomas Keller; Robert Mattmüller; Manuela Ortlieb; Bernhard Nebel

An Experimental Comparison of Classical, FOND and Probabilistic Planning Inproceedings

Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), pp. 297–308, 2014.

Abstract | Links | BibTeX

Robert Mattmüller; Manuela Ortlieb; Erik Wacker

Minimizing Necessary Observations for Nondeterministic Planning Inproceedings

Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), pp. 309–320, 2014.

Abstract | Links | BibTeX

Florian Geißer; Thomas Keller; Robert Mattmüller

Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games Inproceedings

Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 357–362, 2014.

Abstract | Links | BibTeX

2013

Manuela Ortlieb; Robert Mattmüller

Pattern-Database Heuristics for Partially Observable Nondeterministic Planning Inproceedings

Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), pp. 140–151, 2013.

Abstract | Links | BibTeX

Martin Wehrle; Malte Helmert; Yusra Alkhazraji; Robert Mattmüller

The Relative Pruning Power of Strong Stubborn Sets and Expansion Core Inproceedings

Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), pp. 251–259, 2013.

Abstract | Links | BibTeX

Robert Mattmüller

Informed Progression Search for Fully Observable Nondeterministic Planning PhD Thesis

Albert-Ludwigs-Universität Freiburg, 2013.

BibTeX

2012

Yusra Alkhazraji; Martin Wehrle; Robert Mattmüller; Malte Helmert

A Stubborn Set Algorithm for Optimal Planning Inproceedings

Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 891–892, 2012.

Abstract | Links | BibTeX

2011

Hans-Jörg Peter; Rüdiger Ehlers; Robert Mattmüller

Synthia: Verification and Synthesis for Timed Automata Inproceedings

Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011), pp. 649–655, 2011.

Abstract | Links | BibTeX

2010

Rüdiger Ehlers; Robert Mattmüller; Hans-Jörg Peter

Combining Symbolic Representations for Solving Timed Games Inproceedings

Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), pp. 107–121, 2010.

Abstract | Links | BibTeX

J Benton; Kartik Talamadupula; Patrick Eyerich; Robert Mattmüller; Subbarao Kambhampati

G-value Plateaus: A Challenge for Planning Inproceedings

Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 259–262, 2010.

Abstract | Links | BibTeX

Robert Mattmüller; Manuela Ortlieb; Malte Helmert; Pascal Bercher

Pattern Database Heuristics for Fully Observable Nondeterministic Planning Inproceedings

Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 105–112, 2010.

Abstract | Links | BibTeX

2009

Hans-Jörg Peter; Robert Mattmüller

Component-based Abstraction Refinement for Timed Controller Synthesis Inproceedings

Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009), pp. 364–374, 2009.

Abstract | Links | BibTeX

Patrick Eyerich; Robert Mattmüller; Gabriele Röger

Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning Inproceedings

Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), pp. 130–137, 2009.

Abstract | Links | BibTeX

Pascal Bercher; Robert Mattmüller

Solving Non-deterministic Planning Problems with Pattern Database Heuristics Inproceedings

Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009), pp. 57–64, 2009.

Abstract | Links | BibTeX

2008

Pascal Bercher; Robert Mattmüller

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning Inproceedings

Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 921–922, 2008.

Abstract | Links | BibTeX

Malte Helmert; Robert Mattmüller

Accuracy of Admissible Heuristic Functions in Selected Planning Domains Inproceedings

Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 938–943, 2008.

Abstract | Links | BibTeX

2007

Malte Helmert; Robert Mattmüller

Accuracy of Admissible Heuristic Functions in Selected Planning Domains Inproceedings

Proceedings of the ICAPS-2007 Workshop on Heuristics for Domain-independent Planning (HDIP 2007), 2007.

Abstract | Links | BibTeX

Robert Mattmüller; Jussi Rintanen

Planning for Temporally Extended Goals as Propositional Satisfiability Inproceedings

Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1966–1971, 2007.

Abstract | Links | BibTeX

2006

Malte Helmert; Robert Mattmüller; Sven Schewe

Selective Approaches for Solving Weak Games Inproceedings

Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), pp. 200–214, 2006.

Abstract | Links | BibTeX

Malte Helmert; Robert Mattmüller; Gabriele Röger

Approximation Properties of Planning Benchmarks Inproceedings

Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 585–589, 2006.

Abstract | Links | BibTeX

Robert Mattmüller

Planning for Temporally Extended Goals as Propositional Satisfiability Masters Thesis

Albert-Ludwigs-Universität Freiburg, 2006, (In German).

BibTeX