BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER and Antonín KUČERA. Stochastic game logic. Acta informatica. Berlin: Springer-Verlag, vol. 49, No 4, p. 203-224. ISSN 0001-5903. doi:10.1007/s00236-012-0156-0. 2012.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Stochastic game logic
Authors BAIER, Christel (276 Germany), Tomáš BRÁZDIL (203 Czech Republic, belonging to the institution), Marcus GRÖSSER (276 Germany) and Antonín KUČERA (203 Czech Republic, guarantor, belonging to the institution).
Edition Acta informatica, Berlin, Springer-Verlag, 2012, 0001-5903.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.474
RIV identification code RIV/00216224:14330/12:00057447
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1007/s00236-012-0156-0
UT WoS 000305225400001
Keywords in English stochastic systems; model-checking; multi-player games
Tags formela-journal
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 12:13.
Abstract
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.
Links
GBP202/12/G061, research and development projectName: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)
Investor: Czech Science Foundation
PrintDisplayed: 20/4/2024 02:08