Sebastian Kupferschmid

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Venues

Int. J. Softw. Tools Technol. Transf.

FORMATS

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Martin Wehrle, Sebastian Kupferschmid
Downward pattern refinement for timed automata. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Martin Wehrle, Sebastian Kupferschmid
Mcta: Heuristics and Search for Timed Systems. FORMATS (2012)
Sebastian Kupferschmid, Martin Wehrle
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. TACAS (2011)
Martin Wehrle, Sebastian Kupferschmid
Context-Enhanced Directed Model Checking. SPIN (2010)
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
Transition-Based Directed Model Checking. TACAS (2009)
Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski
Faster Than Uppaal? CAV (2008)
Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen
Fast Directed Model Checking Via Russian Doll Abstraction. TACAS (2008)
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
Useless Actions Are Useful. ICAPS (2008)
Thomas Keller, Sebastian Kupferschmid
Automatic Bidding for the Game of Skat. KI (2008)
Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
Automatic Abstraction Refinement for Timed Automata. FORMATS (2007)
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)
Sebastian Kupferschmid, Malte Helmert
A Skat Player Based on Monte-Carlo Simulation. Computers and Games (2006)
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt (2006)
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
Adapting an AI Planning Heuristic for Directed Model Checking. SPIN (2006)
Jörg Hoffmann, Sebastian Kupferschmid
A Covering Problem for Hypercubes. IJCAI (2005)

Sebastian Kupferschmid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Kupferschmid