Sebastian Kupferschmid

According to our database, Sebastian Kupferschmid authored at least 16 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Downward pattern refinement for timed automata.

Martin Wehrle, Sebastian Kupferschmid

Int. J. Softw. Tools Technol. Transf., 2016

2012

Mcta: Heuristics and Search for Timed Systems.

Martin Wehrle, Sebastian Kupferschmid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.

Sebastian Kupferschmid, Martin Wehrle

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Context-Enhanced Directed Model Checking.

Martin Wehrle, Sebastian Kupferschmid

Proceedings of the Model Checking Software, 2010

2009

Directed model checking for timed automata.

Sebastian Kupferschmid

PhD thesis, 2009

Transition-Based Directed Model Checking.

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Fast Directed Model Checking Via Russian Doll Abstraction.

Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Automatic Bidding for the Game of Skat.

Thomas Keller, Sebastian Kupferschmid

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Faster Than Uppaal?

Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Useless Actions Are Useful.

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Automatic Abstraction Refinement for Timed Automata.

Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Adapting an AI Planning Heuristic for Directed Model Checking.

Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.

Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

A Skat Player Based on Monte-Carlo Simulation.

Sebastian Kupferschmid, Malte Helmert

Proceedings of the Computers and Games, 5th International Conference, 2006

2005

A Covering Problem for Hypercubes.

Jörg Hoffmann, Sebastian Kupferschmid

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005