Uni-Logo

Robert Mattmüller – Publications

(Show all abstracts) (Hide all abstracts)

2019

2018

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the Sixteenth COnference on Principles of Knowledge Representation and Reasoning (KR18), pp. 445-453. 2018.
    (Show abstract) (PDF)

  • Benedict Wright, Robert Mattmüller and Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Sixteenth COnference on Principles of Knowledge Representation and Reasoning (KR18), pp. 474-482. 2018.
    (Show abstract) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel and Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1795-1802. 2018.
    (Show abstract) (PDF)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser and Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty.
    Technical Report 287, Institut für Informatik, Albert-Ludwigs-Universität, 2018.
    (Show abstract) (PDF)

  • David Speck, Florian Geißer and Robert Mattmüller.
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Show abstract) (PDF) (technical report with proofs; PDF)

  • Benedict Wright, Robert Mattmüller and Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS18), pp. 38-45. 2018.
    (Show abstract) (PDF)

  • Felix Lindner, Robert Mattmüller and Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the ICAPS Workshop on EXplainable AI Planning (XAIP). 2018.
    (Show abstract) (PDF)

  • David Speck, Florian Geißer and Robert Mattmüller.
    SYMPLE: Symbolic Planning based on EVMDDs.
    In The 9th International Planning Competition (IPC 2018), pp. 82-85. 2018.
    (Show abstract) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright and Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
    (Show abstract) (PDF)

2017

  • Robert Mattmüller, Florian Geißer, Benedict Wright and Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the 9th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2017). 2017.
    Superseded by the AAAI 2018 paper by the same name.
    (Show abstract) (PDF)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017). 2017.
    (Show abstract) (PDF) (BIB)

2016

  • Benedict Wright and Robert Mattmüller.
    Automated Data Management Workflow Generation with Ontologies and Planning.
    In Proceedings of the 30th Workshop on Planen/Scheduling und Konfigurieren/Entwerfen (PUK 2016). 2016.
    (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning (Extended Abstract).
    In Proceedings of the 39th German Conference on Artificial Intelligence (KI 2016). 2016.
    (Show abstract) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning:Full Proofs.
    Technical Report CS-2016-002, University of Basel, 2016.
    (Show abstract) (PDF)

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016.
    (Show abstract) (PDF)

  • Florian Geißer, Thomas Keller and Robert Mattmüller.
    Abstractions for Planning with State-Dependent Action Costs.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). 2016.
    (Show abstract) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    (Show abstract) (PDF) (BIB)

2015

  • Johannes Aldinger, Robert Mattmüller and Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In KI 2015: Advances in Artificial Intelligence (KI 2015). 2015.
    (Show abstract) (PDF) (BIB)

  • David Speck, Manuela Ortlieb and Robert Mattmüller.
    Necessary Observations in Nondeterministic Planning.
    In Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015). 2015.
    (Show abstract) (PDF) (BIB)

  • Florian Geißer, Thomas Keller and Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). 2015.
    (Show abstract) (PDF) (BIB)

  • Florian Geißer, Thomas Keller and Robert Mattmüller.
    Delete Relaxations for Planning with State-Dependent Action Costs.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). 2015.
    Extended abstract of the IJCAI 2015 paper by the same name.
    (Show abstract) (PDF) (BIB)

  • Johannes Aldinger, Robert Mattmüller and Moritz Göbelbecker.
    Complexity Issues of Interval Relaxed Numeric Planning.
    In Proceedings of the ICAPS-2015 Workshop on Heuristic and Search for Domain-Independent Planning (HSDIP 2015). 2015.
    Superseded by the KI 2015 paper of the same name..
    (Show abstract) (PDF) (BIB)

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Show abstract) (PDF) (BIB)

  • Jonas Thiem, Robert Mattmüller and Manuela Ortlieb.
    Counterexample-Guided Abstraction Refinement for POND Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015). 2015.
    (Show abstract) (PDF) (BIB)

  • Dominik Winterer, Robert Mattmüller and Martin Wehrle.
    Stubborn Sets for Fully Observable Nondeterministic Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015). 2015.
    (Show abstract) (PDF) (BIB)

2014

  • Robert Mattmüller, Manuela Ortlieb and Erik Wacker.
    Minimizing Necessary Observations for Nondeterministic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014). 2014.
    (Show abstract) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb and Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), pp. 297-308. Springer 2014.
    (Show abstract) (PDF) (BIB)

  • Florian Geißer, Thomas Keller and Robert Mattmüller.
    Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 357-362. 2014.
    (Show abstract) (PDF) (BIB)

  • Yusra Alkhazraji, Michael Katz, Robert Mattmüller, Florian Pommerening, Alexander Shleyfman and Martin Wehrle.
    Metis: Arming Fast Downward with Pruning and Incremental Computation (planner abstract).
    In the 8th International Planning Competition (IPC 2014) (deterministic track). 2014.
    (Show abstract) (PDF)

2013

  • Manuela Ortlieb and Robert Mattmüller.
    Pattern-Database Heuristics for Partially Observable Nondeterministic Planning.
    In Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013). 2013.
    (Show abstract) (PDF) (slides; PDF)

  • Martin Wehrle, Malte Helmert, Yusra Alkhazraji and Robert Mattmüller.
    The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Show abstract) (PDF)

2012

  • Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller and Malte Helmert.
    A Stubborn Set Algorithm for Optimal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). 2012.
    (Show abstract) (PDF)

2011

  • Hans-Jörg Peter, Rüdiger Ehlers and Robert Mattmüller.
    Synthia: Verification and Synthesis for Timed Automata.
    In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011), pp. 649-655. Springer-Verlag 2011.
    (Show abstract) (PDF)

2010

  • Rüdiger Ehlers, Robert Mattmüller and Hans-Jörg Peter.
    Combining Symbolic Representations for Solving Timed Games.
    In Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), pp. 107-121. Springer-Verlag 2010.
    (Show abstract) (PDF)

  • J. Benton, Kartik Talamadupula, Patrick Eyerich, Robert Mattmüller and Subbarao Kambhampati.
    G-value Plateaus: A Challenge for Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann and Henry Kautz (eds.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 259-262. AAAI Press 2010.
    (Show abstract) (PDF) (BIB)

  • Robert Mattmüller, Manuela Ortlieb, Malte Helmert and Pascal Bercher.
    Pattern Database Heuristics for Fully Observable Nondeterministic Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann and Henry Kautz (eds.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 105-112. AAAI Press 2010.
    (Show abstract) (PDF) (slides; PDF) (BIB)

2009

  • Hans-Jörg Peter and Robert Mattmüller.
    Component-based Abstraction Refinement for Timed Controller Synthesis.
    In Theodore P. Baker (ed.), Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009), pp. 364-374. IEEE Computer Society 2009.
    (Show abstract) (PDF) (BIB)

  • Patrick Eyerich, Robert Mattmüller and Gabriele Röger.
    Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), pp. 130-137. AAAI Press 2009.
    (Show abstract) (PDF) (slides; PDF) (BIB)

  • Pascal Bercher and Robert Mattmüller.
    Solving Non-deterministic Planning Problems with Pattern Database Heuristics.
    In B. Mertsching, M. Hund and Z. Aziz (eds.), Proceedings of the 32nd Annual Conference on Artificial Intelligence (KI 2009), pp. 57-64. Springer-Verlag 2009.
    (Show abstract) (PDF) (slides; PDF) (BIB)

2008

  • Pascal Bercher and Robert Mattmüller.
    A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.
    In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 921-922. IOS Press 2008.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF) (BIB)

  • Malte Helmert and Robert Mattmüller.
    Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pp. 938-943. AAAI Press 2008.
    (Show abstract) (PDF) (slides; PDF) (BIB)

2007

  • Malte Helmert and Robert Mattmüller.
    On the Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
    In Proceedings of the ICAPS-2007 Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges. 2007.
    Superseded by the AAAI 2008 paper by the same name.
    (Show abstract) (PDF)

  • Robert Mattmüller and Jussi Rintanen.
    Planning for Temporally Extended Goals as Propositional Satisfiability.
    In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1966-1971. 2007.
    (Show abstract) (PDF) (PS.GZ) (poster; PDF) (BIB)

2006

  • Malte Helmert, Robert Mattmüller and Sven Schewe.
    Selective Approaches for Solving Weak Games.
    In Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), pp. 200-214. Springer-Verlag 2006.
    (Show abstract) (PDF)

  • Malte Helmert, Robert Mattmüller and Gabriele Röger.
    Approximation Properties of Planning Benchmarks.
    In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 585-589. 2006.
    (Show abstract) (PDF)

  • Robert Mattmüller.
    Erfüllbarkeitsbasierte Handlungsplanung mit temporal erweiterten Zielen.
    Diploma thesis, Albert-Ludwigs-Universität, Freiburg, Germany 2006.
    In German.
    (PDF)