A survey of partial-observation stochastic parity games

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

Thomas A. Henzinger, Krishnendu Chatterjee, 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 objectivespartial-observation games

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80) Research exposition (monographs, survey articles) pertaining to game theory, economics, and finance (91-02) Stochastic games, stochastic differential games (91A15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Graph Games and Reactive Synthesis, Quantitative verification and strategy synthesis for stochastic games, Diagnosis and degradation control for probabilistic systems, Preface to the special issue on probabilistic model checking, Partial-Observation Stochastic Games, CEGAR for compositional analysis of qualitative properties in Markov decision processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the undecidability of probabilistic planning and related stochastic optimization problems
• Number of quantifiers is better than number of tape cells
• The complexity of stochastic games
• Infinite games played on finite graphs
• Fair simulation
• Partial-Observation Stochastic Games: How to Win When Belief Fails
• Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
• On the expressiveness and complexity of randomization in finite state monitors
• Alternating-time temporal logic
• Randomness for Free
• Qualitative Analysis of Partially-Observable Markov Decision Processes
• Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
• Qualitative Concurrent Stochastic Games with Imperfect Information
• The determinacy of Blackwell games
• The Complexity of Partial-Observation Parity Games
• Computer Science Logic
• Algorithms for Omega-Regular Games with Imperfect Information
• On Decision Problems for Probabilistic Büchi Automata
• Solving Sequential Conditions by Finite-State Strategies
• Power of Randomization in Automata on Infinite Strings