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: Logic and the Foundations of Game and Decision TheoryLogic and the Foundations of Game and Decision Theory
by - 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.
(1672 views)
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.
(3267 views)
Book cover: Game TheoryGame Theory
by - UCLA
In this text, the author presents various mathematical models of games and study the phenomena that arise. The book covers impartial combinatorial games, two-person zero-sum games, two-person general-sum games, and games in coalitional form.
(10038 views)
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.
(7539 views)