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: Algorithmic Game TheoryAlgorithmic Game Theory
by - Cambridge University Press
The subject matter of Algorithmic Game Theory covers many of the hottest area of useful new game theory research, introducing deep new problems, techniques, and perspectives that demand the attention of economists as well as computer scientists.
(9313 views)
Book cover: An Introduction to Quantum Game TheoryAn Introduction to Quantum Game Theory
by - arXiv
This essay gives a self-contained introduction to quantum game theory, and is primarily oriented to economists with little or no acquaintance with quantum mechanics. It assumes little more than a basic knowledge of vector algebra.
(7550 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.
(11782 views)
Book cover: Agent-Based Evolutionary Game DynamicsAgent-Based Evolutionary Game Dynamics
by - Pressbooks
This book is a guide to implement simple agent-based evolutionary models using NetLogo. All the models we implement are agent-based, i.e. individual agents and their interactions are explicitly represented in the models ...
(1073 views)