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 Noam Nisan, at al. - Cambridge University Press
The subject matter of Algorithmic Game Theory covers many of the hottest area of useful new game theory research, introducing deep new problems, techniques, and perspectives that demand the attention of economists as well as computer scientists.
by Giacomo Bonanno, et al. - Amsterdam University Press
LOFT is a key venue for presenting research at the intersection of logic, economics and computer science, and the present collection gives a lively view of an exciting and rapidly growing area. This volume collects papers presented at the Conference.
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 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.