A Landscape with Games in the Background
Igor Walukiewicz · 2004
An overview of applications of two player path-forming games to verification and synthesis is given. Several ex-tensions of the standard model of finite games with regu-lar winning conditions are discussed. One direction is that of considering non-regular winning conditions. The other concerns the ways games are played, in particular proba-bilistic and multi-player games. 1