A survey of stochastic ω-regular games
作者：
Highlights：
•
摘要
We summarize classical and recent results about two-player games played on graphs with ω-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.
论文关键词：Game theory,Stochastic games,ω-Regular objectives
论文评审过程：Received 18 November 2005, Revised 7 November 2007, Accepted 6 May 2011, Available online 12 May 2011.
论文官网地址：https://doi.org/10.1016/j.jcss.2011.05.002
