Other formats:
BibTeX
LaTeX
RIS
@inproceedings{728300,
author = {Baier, Christel and Brázdil, Tomáš and Größer, Marcus and Kučera, Antonín},
address = {Los Alamitos, Washington, Tokyo},
booktitle = {Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)},
keywords = {stochastic systems; temporal logic; model checking},
language = {eng},
location = {Los Alamitos, Washington, Tokyo},
isbn = {0-7695-2883-X},
pages = {227-236},
publisher = {IEEE Computer Society},
title = {Stochastic Game Logic},
year = {2007}
}
TY - JOUR
ID - 728300
AU - Baier, Christel - Brázdil, Tomáš - Größer, Marcus - Kučera, Antonín
PY - 2007
TI - Stochastic Game Logic
PB - IEEE Computer Society
CY - Los Alamitos, Washington, Tokyo
SN - 076952883X
KW - stochastic systems
KW - temporal logic
KW - model checking
N2 - Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities of agents in a multiplayer game), probabilistic computation tree logic and extended temporal logic (to reason about qualitative and quantitative, linear or branching time winning objectives). The paper presents the syntax and semantics of SGL and discusses its model checking problem. The model checking problem of SGL turns out to be undecidable when the strategies are history-dependent. We show PSPACE completeness for memoryless deterministic strategies and the EXPSPACE upper bound for memoryless randomized strategies. For the qualitative fragment of SGL we show PSPACE completeness for memoryless strategies.
ER -
BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER and Antonín KUČERA. Stochastic Game Logic. In \textit{Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)}. Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2007, p.~227-236. ISBN~0-7695-2883-X.
|
