Games in Verification
by Moshe Y. Vardi
Publisher: ESSLLI 2001
Number of pages: 100
Description:
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.
Download or read it online for free here:
Download link
(920KB, PDF)
Similar books
New Perspectives on Games and Interactionby 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.
(6426 views)
Games, Fixed Points and Mathematical Economicsby 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.
(16376 views)
Epistemic Game Theory and Logicby Paul Weirich (ed.) - MDPI AG
Game theory addresses situations with multiple agents in which the outcome of an agent's act depends on the acts of the other agents. The agents may be mindless organisms. Epistemic game theory addresses games in which the agents have minds.
(6591 views)
Logic and the Foundations of Game and Decision Theoryby 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.
(7807 views)