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
Game Theory Relaunchedby 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.
(8397 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.
(17581 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.
(9724 views)
Games, Fixed Points and Mathematical Economicsby Christian-Oliver Ewald
These are lecture notes for a course in game theory. The text covers general concepts of two person games, Brouwer’s fixed point theorem and Nash’s equilibrium theorem, more general equilibrium theorems, cooperative games and differential games.
(15896 views)