 | 2011 |
|---|
| 12 |       | Hans-Jörg Peter,
Rüdiger Ehlers,
Robert Mattmüller:
Synthia: Verification and Synthesis for Timed Automata.
CAV 2011: 649-655 |
| 2010 |
|---|
| 11 | | Rüdiger Ehlers,
Robert Mattmüller,
Hans-Jörg Peter:
Combining Symbolic Representations for Solving Timed Games.
FORMATS 2010: 107-121 |
| 10 | | Robert Mattmüller,
Manuela Ortlieb,
Malte Helmert,
Pascal Bercher:
Pattern Database Heuristics for Fully Observable Nondeterministic Planning.
ICAPS 2010: 105-112 |
| 9 | | J. Benton,
Kartik Talamadupula,
Patrick Eyerich,
Robert Mattmüller,
Subbarao Kambhampati:
G-Value Plateaus: A Challenge for Planning.
ICAPS 2010: 259-262 |
| 2009 |
|---|
| 8 |  | Patrick Eyerich,
Robert Mattmüller,
Gabriele Röger:
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning.
ICAPS 2009 |
| 7 | | Hans-Jörg Peter,
Robert Mattmüller:
Component-Based Abstraction Refinement for Timed Controller Synthesis.
IEEE Real-Time Systems Symposium 2009: 364-374 |
| 6 | | Pascal Bercher,
Robert Mattmüller:
Solving Non-deterministic Planning Problems with Pattern Database Heuristics.
KI 2009: 57-64 |
| 2008 |
|---|
| 5 | | Malte Helmert,
Robert Mattmüller:
Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
AAAI 2008: 938-943 |
| 4 | | Pascal Bercher,
Robert Mattmüller:
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.
ECAI 2008: 921-922 |
| 2007 |
|---|
| 3 | | Robert Mattmüller,
Jussi Rintanen:
Planning for Temporally Extended Goals as Propositional Satisfiability.
IJCAI 2007: 1966- |
| 2006 |
|---|
| 2 | | Malte Helmert,
Robert Mattmüller,
Sven Schewe:
Selective Approaches for Solving Weak Games.
ATVA 2006: 200-214 |
| 1 | | Malte Helmert,
Robert Mattmüller,
Gabriele Röger:
Aproximation Properties of Planning Benchmarks.
ECAI 2006: 585-589 |
Data released under the ODC-BY 1.0 license — See also our legal information page