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. Dostupné z: https://dx.doi.org/10.1007/s00236-012-0156-0. |
Další formáty:
BibTeX
LaTeX
RIS
@article{984990, author = {Baier, Christel and Brázdil, Tomáš and Größer, Marcus and Kučera, Antonín}, article_location = {Berlin}, article_number = {4}, doi = {http://dx.doi.org/10.1007/s00236-012-0156-0}, keywords = {stochastic systems; model-checking; multi-player games}, language = {eng}, issn = {0001-5903}, journal = {Acta informatica}, title = {Stochastic game logic}, volume = {49}, year = {2012} }
TY - JOUR ID - 984990 AU - Baier, Christel - Brázdil, Tomáš - Größer, Marcus - Kučera, Antonín PY - 2012 TI - Stochastic game logic JF - Acta informatica VL - 49 IS - 4 SP - 203-224 EP - 203-224 PB - Springer-Verlag SN - 00015903 KW - stochastic systems KW - model-checking KW - multi-player games N2 - 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. ER -
BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic game logic. \textit{Acta informatica}. Berlin: Springer-Verlag, 2012, roč.~49, č.~4, s.~203-224. ISSN~0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-012-0156-0.
|