[KRSW20]
Jan Kretinsky, Emanuel Ramneantu, Alexander Slivinskiy and Maximilian Weininger.
Comparison of algorithms for simple stochastic games.
In Proc. GandALF'20.
2020.
[bib]
[Investigates existing and novel techniques for solving turn-based stochastic games, using an extension of PRISM-games.]
|
Links:
[Google]
[Google Scholar]
|