Sebastian Kupferschmid

16 papers A* 3A 4Misc 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Downward pattern refinement for timed automata.
Int. J. Softw. Tools Technol. Transf.
Martin Wehrle, Sebastian Kupferschmid
2012 — conf
Mcta: Heuristics and Search for Timed Systems.
FORMATS
Martin Wehrle, Sebastian Kupferschmid
2011 A conf
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
TACAS
Sebastian Kupferschmid, Martin Wehrle
2010 — conf
Context-Enhanced Directed Model Checking.
SPIN
Martin Wehrle, Sebastian Kupferschmid
2009 — —
Directed model checking for timed automata.
Sebastian Kupferschmid
2009 A conf
Transition-Based Directed Model Checking.
TACAS
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
2008 Misc conf
Automatic Bidding for the Game of Skat.
KI
Thomas Keller, Sebastian Kupferschmid
2008 A conf
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS
Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen
2008 A* conf
Faster Than Uppaal?
CAV
Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski
2008 A* conf
Useless Actions Are Useful.
ICAPS
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
2007 — conf
Automatic Abstraction Refinement for Timed Automata.
FORMATS
Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
2007 A conf
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
2006 — conf
A Skat Player Based on Monte-Carlo Simulation.
Computers and Games
Sebastian Kupferschmid, Malte Helmert
2006 — conf
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
2006 — conf
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
MoChArt
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
2005 A* conf
A Covering Problem for Hypercubes.
IJCAI
Jörg Hoffmann, Sebastian Kupferschmid