Sebastian Kupferschmid

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Downward pattern refinement for timed automata.
STTT, 2016

2012
Mcta: Heuristics and Search for Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010
Context-Enhanced Directed Model Checking.
Proceedings of the Model Checking Software, 2010

2009
Directed model checking for timed automata.
PhD thesis, 2009

Transition-Based Directed Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008
Fast Directed Model Checking Via Russian Doll Abstraction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Automatic Bidding for the Game of Skat.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Faster Than Uppaal?
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Useless Actions Are Useful.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Automatic Abstraction Refinement for Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006
Adapting an AI Planning Heuristic for Directed Model Checking.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

A Skat Player Based on Monte-Carlo Simulation.
Proceedings of the Computers and Games, 5th International Conference, 2006

2005
A Covering Problem for Hypercubes.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005


  Loading...