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
Strategic Foundations of General Equilibriumby Douglas Gale - Cambridge University Press
This is a book on strategic foundations of the theory of competition. Using insights from game theory, the author develops a model to explain what actually goes on in markets and how a competitive general equilibrium is achieved.
(16434 views)
Logic and the Foundations of Game and Decision Theoryby Giacomo Bonanno, et al. - Amsterdam University Press
LOFT is a key venue for presenting research at the intersection of logic, economics and computer science, and the present collection gives a lively view of an exciting and rapidly growing area. This volume collects papers presented at the Conference.
(9626 views)
The Compleat Strategyst: Being a Primer on the Theory of Games of Strategyby John D. Williams - RAND Corporation
When this book was originally published in 1954, game theory was an esoteric and mysterious subject. Its popularity today can be traced at least in part to this book, which popularized the subject for amateurs and professionals throughout the world.
(20565 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.
(18449 views)