| 2008 | ||
|---|---|---|
| 2 | EE | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski: Faster Than Uppaal? CAV 2008: 552-555 |
| 2007 | ||
| 1 | EE | Martin Wehrle, Jussi Rintanen: Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence 2007: 244-253 |
| 1 | Sebastian Kupferschmid | [2] |
| 2 | Bernhard Nebel | [2] |
| 3 | Andreas Podelski | [2] |
| 4 | Jussi Rintanen | [1] |