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
Game Theory and Institutional Economicsby Wolfram Elsner, et al. - MDPI AG
This volume pursues the question of the emergence of institutions and hierarchy, analyzes algorithms of strategy change in evolutionary game models, and takes a historical point of view on the development of game theory during the cold war.
(6644 views)
Strategic Foundations of General Equilibriumby Douglas Gale - Cambridge University Press
This is a book on strategic foundations of the theory of competition. Using insights from game theory, the author develops a model to explain what actually goes on in markets and how a competitive general equilibrium is achieved.
(14109 views)
Logic and the Foundations of Game and Decision Theoryby Giacomo Bonanno, et al. - 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.
(7563 views)
Games of No Chance 4by Richard J. Nowakowski (ed.) - Cambridge University Press
The volume contains the first comprehensive explorations of misère games. It includes a tutorial for the very successful approach to analyzing misère impartial games and the first attempt at using it for misère partisan games.
(5505 views)