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 J. Orlin Grabbe - arXiv
This essay gives a self-contained introduction to quantum game theory, and is primarily oriented to economists with little or no acquaintance with quantum mechanics. It assumes little more than a basic knowledge of vector algebra.
by Christian Julmi - BookBoon
This textbook provides an overview of the field of game theory which analyses decision situations that have the character of games. The book is suitable as an introductory reading and is meant to sharpen the reader's strategic thinking abilities.
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.
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.