Invited Talk: A Landscape with Games in the Background (at LICS 2004)
Authors: Igor WalukiewiczAbstract
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.
BibTeX
@InProceedings{Walukiewicz-ALandscapewithGames, 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} }