Sebastian Kupferschmid
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mcta: heuristics and search for timed systems Lecture Notes in Computer Science | 2012-11-21 | Paper |
| Abstractions and pattern databases: the quest for succinctness and accuracy Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| Transition-Based Directed Model Checking Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
| Automatic Abstraction Refinement for Timed Automata Lecture Notes in Computer Science | 2008-07-03 | Paper |
| Fast Directed Model Checking Via Russian Doll Abstraction Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
| A Skat Player Based on Monte-Carlo Simulation Computers and Games | 2008-01-04 | Paper |
| Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
| Model Checking Software Lecture Notes in Computer Science | 2007-05-02 | Paper |
Research outcomes over time
This page was built for person: Sebastian Kupferschmid
