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: Games of Strategy: Theory and ApplicationsGames of Strategy: Theory and Applications
by - RAND Corporation
This book introduces readers to the basic concepts of game theory and its applications for military, economic, and political problems, as well as its usefulness in decisionmaking in business, operations research, and behavioral science.
(16272 views)
Book cover: The Compleat Strategyst: Being a Primer on the Theory of Games of StrategyThe Compleat Strategyst: Being a Primer on the Theory of Games of Strategy
by - 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.
(17673 views)
Book cover: Games, Fixed Points and Mathematical EconomicsGames, Fixed Points and Mathematical Economics
by
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.
(15990 views)
Book cover: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical FoundationsMultiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by - 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.
(13507 views)