https://can-zhou.github.io/posts/concurrent-stochastic-game/