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
Games of Strategy: Theory and Applications
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.
(16031 views)
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.
(16031 views)
New Perspectives on Games and Interaction
by 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.
(5894 views)
by 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.
(5894 views)
Game Theory
by Thomas S. Ferguson - 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.
(20037 views)
by Thomas S. Ferguson - 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.
(20037 views)
Game Theory and Institutional Economics
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.
(6331 views)
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.
(6331 views)