| 2008 |
|---|
| 7 | EE | Sebastian Kupferschmid,
Jörg Hoffmann,
Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS 2008: 203-217 |
| 2007 |
|---|
| 6 | EE | Henning Dierks,
Sebastian Kupferschmid,
Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata.
FORMATS 2007: 114-129 |
| 5 | EE | Sebastian Kupferschmid,
Klaus Dräger,
Jörg Hoffmann,
Bernd Finkbeiner,
Henning Dierks,
Andreas Podelski,
Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS 2007: 679-682 |
| 2006 |
|---|
| 4 | EE | Sebastian Kupferschmid,
Malte Helmert:
A Skat Player Based on Monte-Carlo Simulation.
Computers and Games 2006: 135-147 |
| 3 | EE | Jörg Hoffmann,
Jan-Georg Smaus,
Andrey Rybalchenko,
Sebastian Kupferschmid,
Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
MoChArt 2006: 51-66 |
| 2 | EE | Sebastian Kupferschmid,
Jörg Hoffmann,
Henning Dierks,
Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN 2006: 35-52 |
| 2005 |
|---|
| 1 | EE | Jörg Hoffmann,
Sebastian Kupferschmid:
A Covering Problem for Hypercubes.
IJCAI 2005: 1523-1524 |
