A landscape with games in the background
A landscape with games in the background
复制标题
以游戏为背景的风景
DOI：
10.1109/lics.2004.1319630
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Igor Walukiewicz
中科院分区：
文献类型：
--
作者：
Igor Walukiewicz
概述了两个玩家路径形成博弈在验证和合成中的应用。讨论了具有常规获胜条件的有限游戏标准模型的几种扩展。一个方向是考虑非常规获胜条件。另一个问题涉及游戏的玩法，特别是概率游戏和多人游戏。
An overview of applications of two player path-forming games to verification and synthesis is given. Several extensions of the standard model of finite games with regular winning conditions are discussed. One direction is that of considering non-regular winning conditions. The other concerns the ways games are played, in particular probabilistic and multi-player games.