[Wei22]
Maximilian Weininger.
Solving Stochastic Games Reliably.
Ph.D. thesis, Technischen Universitat Munchen.
2022.
[Proposes a variety of techniques for solving and verifying stochastic games, including implementations in an extension of PRISM-games.]
|
