A survey of partial-observation stochastic parity games

DOI10.1007/s10703-012-0164-2zbMath1291.91022MaRDI QIDQ2248075

Krishnendu Chatterjee, Thomas A. Henzinger, Laurent Doyen

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://repository.ist.ac.at/303/1/Survey_Partial-Observation_Stochastic_Parity_Games.pdf

zbMATH Keywords

stochastic games; \(\omega\)-regular conditions and parity objectives; partial-observation games

Mathematics Subject Classification ID

91A05: 2-person games

91A43: Games involving graphs

91A80: Applications of game theory

91-02: Research exposition (monographs, survey articles) pertaining to game theory, economics, and finance

91A15: Stochastic games, stochastic differential games

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)