A landscape with games in the background

I. Walukiewicz
2004 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.  
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.
doi:10.1109/lics.2004.1319630 dblp:conf/lics/Walukiewicz04 fatcat:g32dgr7wfrg3zljielb4auyole