A survey of stochastic ¦Ø-regular games

详细信息    查看全文

• 作者：Krishnendu Chatterjee^a ; ^{krishnendu.chatterjee@ist.ac.at} ; Thomas A. Henzinger^a ; ^b
• 关键词：Game theory ; Stochastic games ; ¦Ø-Regular objectives
• 刊名：Journal of Computer and System Sciences
• 出版年：2012
• 出版时间：March 2012
• 年：2012
• 卷：78
• 期：2
• 页码：394-413
• 全文大小：334 K

文摘

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.