Games in Verification
by Moshe Y. Vardi
Publisher: ESSLLI 2001
Number of pages: 100
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:
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.
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.
by 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.
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.