| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Martin Wehrle, Malte Helmert: The Causal Graph Revisited for Directed Model Checking. SAS 2009: 86-101 |
| 4 | EE | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski: Transition-Based Directed Model Checking. TACAS 2009: 186-200 |
| 2008 | ||
| 3 | EE | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski: Faster Than Uppaal? CAV 2008: 552-555 |
| 2 | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski: Useless Actions Are Useful. ICAPS 2008: 388-395 | |
| 2007 | ||
| 1 | EE | Martin Wehrle, Jussi Rintanen: Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence 2007: 244-253 |
| 1 | Malte Helmert | [5] |
| 2 | Sebastian Kupferschmid | [2] [3] [4] |
| 3 | Bernhard Nebel | [3] |
| 4 | Andreas Podelski | [2] [3] [4] |
| 5 | Jussi Rintanen | [1] |