Stochastic Game Logic

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy