Logo

Games in Verification by Moshe Y. Vardi

Small book cover: Games in Verification

Games in Verification
by

Publisher: ESSLLI
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.

Home page url

Download or read it online for free here:
Download link
(920KB, PDF)

Similar books

Book cover: Game TheoryGame Theory
by - 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.
(3906 views)
Book cover: Game Theory RelaunchedGame Theory Relaunched
by - 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.
(3803 views)
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.
(8849 views)
Book cover: Games of No Chance 3Games of No Chance 3
by - 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.
(13459 views)