Stochastic game logic

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BAIER Christel BRÁZDIL Tomáš GRÖßER Marcus KUČERA Antonín

Year of publication 2012
Type Article in Periodical
Magazine / Source Acta informatica
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/s00236-012-0156-0
Field Informatics
Keywords stochastic systems; model-checking; multi-player games
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info