Informace o publikaci

Stochastic game logic

Autoři

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

Druh Článek v odborném periodiku
Časopis / Zdroj Acta informatica
Fakulta / Pracoviště MU

Fakulta informatiky Rektorát

Citace
Doi http://dx.doi.org/10.1007/s00236-012-0156-0
Obor Informatika
Klíčová slova stochastic systems; model-checking; multi-player games
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info