 | 2009 |
|---|
| 11 |       | Martin Wehrle,
Sebastian Kupferschmid,
Andreas Podelski:
Transition-Based Directed Model Checking.
TACAS 2009: 186-200 |
| 2008 |
|---|
| 10 | | Sebastian Kupferschmid,
Martin Wehrle,
Bernhard Nebel,
Andreas Podelski:
Faster Than Uppaal?
CAV 2008: 552-555 |
| 9 |  | Martin Wehrle,
Sebastian Kupferschmid,
Andreas Podelski:
Useless Actions Are Useful.
ICAPS 2008: 388-395 |
| 8 | | Thomas Keller,
Sebastian Kupferschmid:
Automatic Bidding for the Game of Skat.
KI 2008: 95-102 |
| 7 | | Sebastian Kupferschmid,
Jörg Hoffmann,
Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS 2008: 203-217 |
| 2007 |
|---|
| 6 | | Henning Dierks,
Sebastian Kupferschmid,
Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata.
FORMATS 2007: 114-129 |
| 5 | | 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 | | Sebastian Kupferschmid,
Malte Helmert:
A Skat Player Based on Monte-Carlo Simulation.
Computers and Games 2006: 135-147 |
| 3 | | 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 | | Sebastian Kupferschmid,
Jörg Hoffmann,
Henning Dierks,
Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN 2006: 35-52 |
| 2005 |
|---|
| 1 | | Jörg Hoffmann,
Sebastian Kupferschmid:
A Covering Problem for Hypercubes.
IJCAI 2005: 1523-1524 |
