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 Jim Ratliff
Lecture notes from a game-theory course the author taught to students in their second year of the economics PhD program. The material is also helpful to first-year PhD students learning game theory as part of their microeconomic-theory sequence.
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 Christian-Oliver Ewald
These are lecture notes for a course in game theory. The text covers general concepts of two person games, Brouwer’s fixed point theorem and Nash’s equilibrium theorem, more general equilibrium theorems, cooperative games and differential games.
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.