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
Algorithmic Game Theoryby Noam Nisan, at al. - 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.
(13033 views)
New Perspectives on Games and Interactionby Krzysztof Apt, Robert van Rooij - 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.
(5995 views)
Graduate-Level Course in Game Theoryby Jim Ratliff
Lecture notes from a game-theory course the author taught to students in their second year of the economics PhD program. The material is also helpful to first-year PhD students learning game theory as part of their microeconomic-theory sequence.
(16588 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.
(17644 views)