A Covering Problem for Hypercubes. - Jörg Hoffmann 001; Sebastian Kupferschmid (IJCAI, 2005)

A Skat Player Based on Monte-Carlo Simulation. - Sebastian Kupferschmid; Malte Helmert (Computers and Games, 2006)

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. - Jörg Hoffmann 001; Jan-Georg Smaus; Andrey Rybalchenko; Sebastian Kupferschmid; Andreas Podelski (MoChArt, 2006)

Adapting an AI Planning Heuristic for Directed Model Checking. - Sebastian Kupferschmid; Jörg Hoffmann 001; Henning Dierks; Gerd Behrmann (SPIN, 2006)

Automatic Abstraction Refinement for Timed Automata. - Henning Dierks; Sebastian Kupferschmid; Kim Guldstrand Larsen (FORMATS, 2007)

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. - Sebastian Kupferschmid; Klaus Dräger; Jörg Hoffmann 001; Bernd Finkbeiner; Henning Dierks; Andreas Podelski; Gerd Behrmann (TACAS, 2007)

Useless Actions Are Useful. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (ICAPS, 2008)

Faster Than Uppaal? - Sebastian Kupferschmid; Martin Wehrle; Bernhard Nebel; Andreas Podelski (CAV, 2008)

Automatic Bidding for the Game of Skat. - Thomas Keller 001; Sebastian Kupferschmid (KI, 2008)

Fast Directed Model Checking Via Russian Doll Abstraction. - Sebastian Kupferschmid; Jörg Hoffmann 001; Kim Guldstrand Larsen (TACAS, 2008)

Transition-Based Directed Model Checking. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (TACAS, 2009)

Directed model checking for timed automata. - Sebastian Kupferschmid (2009)

Context-Enhanced Directed Model Checking. - Martin Wehrle; Sebastian Kupferschmid (SPIN, 2010)

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. - Sebastian Kupferschmid; Martin Wehrle (TACAS, 2011)

Mcta: Heuristics and Search for Timed Systems. - Martin Wehrle; Sebastian Kupferschmid (FORMATS, 2012)

Downward pattern refinement for timed automata. - Martin Wehrle; Sebastian Kupferschmid (Int. J. Softw. Tools Technol. Transf., 2016)