J 2012

Stochastic game logic

BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA

Základní údaje

Originální název

Stochastic game logic

Autoři

BAIER, Christel (276 Německo), Tomáš BRÁZDIL (203 Česká republika, domácí), Marcus GRÖSSER (276 Německo) a Antonín KUČERA (203 Česká republika, garant, domácí)

Vydání

Acta informatica, Berlin, Springer-Verlag, 2012, 0001-5903

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.474

Kód RIV

RIV/00216224:14330/12:00057447

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

000305225400001

Klíčová slova anglicky

stochastic systems; model-checking; multi-player games

Štítky

Změněno: 23. 4. 2013 12:13, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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.

Návaznosti

GBP202/12/G061, projekt VaV
Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky