BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic game logic. Acta informatica. Berlin: Springer-Verlag, roč. 49, č. 4, s. 203-224. ISSN 0001-5903. doi:10.1007/s00236-012-0156-0. 2012.
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 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 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, Centrum excelence - Institut teoretické informatiky
VytisknoutZobrazeno: 19. 4. 2024 05:31