"2"^^ . "14330" . "Stochastic game logic" . . . . "4"^^ . . . "000305225400001" . . . "Gr\u00F6\u00DFer, Marcus" . . . "stochastic systems; model-checking; multi-player games"@en . "Acta informatica" . . "P(GBP202/12/G061), S" . "[1CB4119F1FF2]" . "Stochastic game logic (SGL) is a new temporal logic for multi-agent systems modeled by turn-based multi-player games with discrete transition probabilities. It combines features of alternating-time temporal logic (ATL), probabilistic computation tree logic and extended temporal logic."@en . . "Stochastic game logic (SGL) is a new temporal logic for multi-agent systems modeled by turn-based multi-player games with discrete transition probabilities. It combines features of alternating-time temporal logic (ATL), probabilistic computation tree logic and extended temporal logic." . "22"^^ . "49" . . "RIV/00216224:14330/12:00057447!RIV13-GA0-14330___" . . . "RIV/00216224:14330/12:00057447" . "Baier, Christel" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "Stochastic game logic"@en . . "0001-5903" . "10.1007/s00236-012-0156-0" . . . "171454" . "Br\u00E1zdil, Tom\u00E1\u0161" . "Ku\u010Dera, Anton\u00EDn" . "Stochastic game logic" . . "4" . "Stochastic game logic"@en .