| |
| 2009 | ||
|---|---|---|
| 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 | Sebastian Kupferschmid | [2] [3] [4] |
| 2 | Bernhard Nebel | [3] |
| 3 | Andreas Podelski | [2] [3] [4] |
| 4 | Jussi Rintanen | [1] |