Stochastic game logic - BAIER, Christel; BRAZDIL, Tomáš; GRÖSSER, Marcus; KUCERA, Antonín (Acta informatica, 2012)