Stochastic multiplayer games by Michael Ummels