BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic game logic. Acta informatica, Berlin: Springer-Verlag, 2012, roč. 49, č. 4, s. 203-224. ISSN 0001-5903. doi:10.1007/s00236-012-0156-0.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 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 http://dx.doi.org/10.1007/s00236-012-0156-0
UT WoS 000305225400001
Klíčová slova anglicky stochastic systems; model-checking; multi-player games
Štítky formela-journal
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 12:13.
Anotace
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 VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Projekty na podporu excelence v základním výzkumu
VytisknoutZobrazeno: 19. 10. 2019 14:39