A survey of stochastic omega-regular games
We summarize classical and recent results about two-player games played on graphs with omega-regular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications. (C) 2011 Elsevier Inc. All rights reserved.
Keywords: Game theory ; Stochastic games ; omega-Regular objectives ; Markov Decision-Processes ; Parity Games ; Strategy Improvement ; Infinite Games ; Streett Games ; Muller Games ; Mu-Calculus ; Complexity ; Information ; Graphs
Record created on 2012-03-01, modified on 2016-08-09