Browsing by Author "Caesar, Birte"
Now showing items 1-1 of 1
-
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata
Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, Alexander
55-56
- DSpace Home
- Browsing by Author