The following pages link to Sebastian Kupferschmid (Q3000657):
Displaying 8 items.
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (Q3000659) (← links)
- Automatic Abstraction Refinement for Timed Automata (Q3510839) (← links)
- Transition-Based Directed Model Checking (Q3617760) (← links)
- Mcta: Heuristics and Search for Timed Systems (Q4649401) (← links)
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL (Q5423882) (← links)
- A Skat Player Based on Monte-Carlo Simulation (Q5434460) (← links)
- Fast Directed Model Checking Via Russian Doll Abstraction (Q5458328) (← links)
- Model Checking Software (Q5899035) (← links)