Browsing by Author Göttmann, Hendrik
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | |
|---|---|---|---|
| 2022 | Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata | Göttmann, Hendrik; Caesar, Birte; Beers, Lasse ; Lochau, Malte; Schürr, Andy; Fay, Alexander |