Stochastic Game Logic

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Logika pro náhodnostní hry
Autoři

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

Rok publikování 2007
Druh Článek ve sborníku
Konference Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova stochastic systems; temporal logic; model checking
Popis Logika pro stochastické hry (SGL) je nová temporální logika, která kombinuje vlastnosti laternující temporální logiky, logiky PCTL, a rozšířené temporální logiky. V článku je zavedena syntaxe a sémantika SGL a rozebrána výpočetní složitost problému ověření platnosti SGL formule v konkrétní struktuře.
Související projekty:

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