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 Michael H. Albert, Richard J. Nowakowski - Cambridge University Press
This fascinating look at combinatorial games, that is, games not involving chance or hidden information, offers updates on standard games such as Go and Hex, on impartial games, and on aspects of games with infinitesimal values.
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 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.