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
![Book cover: Game Theory Relaunched](images/8835.jpg)
by Hardy Hanappi (ed.) - InTech
New simulation tools and network analysis have made game theory omnipresent these days. This book collects recent research papers in game theory, which come from diverse scientific communities all across the world, and combine many different fields.
(8654 views)
![Book cover: Game Theory and Institutional Economics](images/11026.jpg)
by 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.
(6643 views)
![Book cover: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations](images/5403.jpg)
by Yoav Shoham, Kevin Leyton-Brown - Cambridge University Press
Multiagent systems consist of multiple autonomous entities having different information and diverging interests. This comprehensive introduction to the field offers a computer science perspective, but also draws on ideas from game theory.
(13706 views)
![Book cover: Games of Strategy: Theory and Applications](images/3269.jpg)
by Melvin Dresher - RAND Corporation
This book introduces readers to the basic concepts of game theory and its applications for military, economic, and political problems, as well as its usefulness in decisionmaking in business, operations research, and behavioral science.
(16493 views)