Nineteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2004)

Invited Talk: A Landscape with Games in the Background (at LICS 2004)

Authors: 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.


    author = 	 {Igor Walukiewicz},
    title = 	 {A Landscape with Games in the Background},
    booktitle =  {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004},
    year =	 2004,
    editor =	 {Harald Ganzinger},
    month =	 {July}, 
    pages =      {356--366},
    location =   {Turku, Finland}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}