Games in Verification by Moshe Y. Vardi

Small book cover: Games in Verification

Games in Verification

Publisher: ESSLLI
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:
Download link
(920KB, PDF)

Similar books

Book cover: Strategic Foundations of General EquilibriumStrategic Foundations of General Equilibrium
by - 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.
Book cover: More Games of No ChanceMore Games of No Chance
by - 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.
Book cover: Game Theory: A Nontechnical Introduction to the Analysis of StrategyGame Theory: A Nontechnical Introduction to the Analysis of Strategy
by - Drexel University
Striking an appropriate balance of mathematical and analytical rigor, this book teaches by example. Learners typically relate better to examples from their own fields, and McCain provides illustrations everyone can relate to.
Book cover: Graduate-Level Course in Game TheoryGraduate-Level Course in Game Theory
Lecture notes from a game-theory course the author taught to students in their second year of the economics PhD program. The material is also helpful to first-year PhD students learning game theory as part of their microeconomic-theory sequence.