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 - 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.
(12221 views)
Book cover: New Perspectives on Games and InteractionNew Perspectives on Games and Interaction
by - Amsterdam University Press
This volume testifies to the importance of game theory as a tool to capture the concepts of strategy, interaction, argumentation, communication, cooperation and competition. It provides evidence for the richness of game theory and its applications.
(1860 views)
Book cover: Epistemic Game Theory and LogicEpistemic Game Theory and Logic
by - MDPI AG
Game theory addresses situations with multiple agents in which the outcome of an agent's act depends on the acts of the other agents. The agents may be mindless organisms. Epistemic game theory addresses games in which the agents have minds.
(1756 views)
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.
(8750 views)