Browsing by Author Schürr, Andy
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 |