Uni-Logo

Robert Mattmüller – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2013

  • Manuela Ortlieb und Robert Mattmüller.
    Pattern-Database Heuristics for Partially Observable Nondeterministic Planning.
    In Proceedings of the 36th German Conference on Artificial Intelligence (KI13). 2013.
    (Abstract einblenden) (PDF)

  • Martin Wehrle, Malte Helmert, Yusra Alkhazraji und 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.
    (Abstract einblenden) (PDF)

2012

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

2011

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

2010

  • Rüdiger Ehlers, Robert Mattmüller und 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), S. 107-121. Springer-Verlag 2010.
    (Abstract einblenden) (PDF)

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

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

2009

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

  • Patrick Eyerich, Robert Mattmüller und 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), S. 130-137. AAAI Press 2009.
    (Abstract einblenden) (PDF) (slides; PDF) (BIB)

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

2008

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

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

2007

  • Malte Helmert und 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.
    (Abstract einblenden) (PDF)

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

2006

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

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

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