Games in Verification
by Moshe Y. Vardi
Publisher: ESSLLI 2001
Number of pages: 100
Games have shown to provide a useful paradigm for reasoning about reactive systems. Not only can model-checking algorithms be formulated as games, but the interaction of reactive systems with their environments can also be modeled as a game. The aim of this course is to demonstrate the power of the game-theoretic approach, by showing how it gives rise to a unifying algorithmic framework through the use of tree automata as an underlying technical tool.
Home page url
Download or read it online for free here:
by Hardy Hanappi (ed.) - InTech
New simulation tools and network analysis have made game theory omnipresent these days. This book collects recent research papers in game theory, which come from diverse scientific communities all across the world, and combine many different fields.
by Thomas S. Ferguson - UCLA
In this text, the author presents various mathematical models of games and study the phenomena that arise. The book covers impartial combinatorial games, two-person zero-sum games, two-person general-sum games, and games in coalitional form.
by Michael H. Albert, Richard J. Nowakowski - Cambridge University Press
This fascinating look at combinatorial games, that is, games not involving chance or hidden information, offers updates on standard games such as Go and Hex, on impartial games, and on aspects of games with infinitesimal values.
by Yoav Shoham, Kevin Leyton-Brown - Cambridge University Press
Multiagent systems consist of multiple autonomous entities having different information and diverging interests. This comprehensive introduction to the field offers a computer science perspective, but also draws on ideas from game theory.