Searching for authors named "Sebastian Kupferschmid" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Automatic Bidding for the Game of Skat ⋆
- …Automatic Bidding for the Game of Skat ⋆ Thomas Keller and Sebastian Kupferschmid University…
- Cited by 1 (0 self) – Add To MetaCart
-
Transition-based Directed Model Checking
- …Transition-based Directed Model Checking Martin Wehrle, Sebastian Kupferschmid, and Andreas…
- Add To MetaCart
-
Adapting an AI planning heuristic for directed model checking
- … Adapting an AI Planning Heuristic for Directed ModelChecking ? Sebastian Kupferschmid1, J…
- Cited by 9 (7 self) – Add To MetaCart
-
Useless actions are useful
- …Useless Actions are Useful Martin Wehrle and Sebastian Kupferschmid and Andreas Podelski…
- Cited by 2 (1 self) – Add To MetaCart
-
Using predicate abstraction to generate heuristic functions in uppaal
- …-Georg Smaus 2 , Andrey Rybalchenko 3,4 , Sebastian Kupferschmid 2 , and Andreas Podelski 2 1 Digital…
- Cited by 3 (2 self) – Add To MetaCart
-
Fast Directed Model Checking via Russian Doll Abstraction
- …Fast Directed Model Checking via Russian Doll Abstraction Sebastian Kupferschmid 1 , Jörg Hoffmann…
- Cited by 1 (1 self) – Add To MetaCart
-
Faster than UPPAAL? (Tool Paper)
- …Faster than UPPAAL ? (Tool Paper) Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel…
- Add To MetaCart
-
UPPAAL/DMC – Abstraction-Based Heuristics for Directed Model Checking
- …UPPAAL/DMC – Abstraction-Based Heuristics for Directed Model Checking Sebastian Kupferschmid 1…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 8.
