Games in Verification
by Moshe Y. Vardi
Publisher: ESSLLI 2001
Number of pages: 100
Description:
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.
Download or read it online for free here:
Download link
(920KB, PDF)
Similar books
More Games of No Chanceby Richard J. Nowakowski - Cambridge University Press
This book is a state-of-the-art look at combinatorial games, that is, games not involving chance or hidden information. The book contains articles by some of the foremost researchers and pioneers of combinatorial game theory.
(14487 views)
Games of No Chance 4by Richard J. Nowakowski (ed.) - Cambridge University Press
The volume contains the first comprehensive explorations of misère games. It includes a tutorial for the very successful approach to analyzing misère impartial games and the first attempt at using it for misère partisan games.
(7105 views)
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundationsby 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.
(18020 views)
Game Theoryby Giacomo Bonanno - University of California, Davis
This is a textbook on non-cooperative Game Theory with 165 solved exercises. It is intended to be rigorous and it includes several proofs. It is appropriate for an undergraduate class in game theory and also for a first-year graduate-level class.
(12757 views)