Logo

Games in Verification by Moshe Y. Vardi

Small book cover: Games in Verification

Games in Verification
by

Publisher: ESSLLI
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.

Home page url

Download or read it online for free here:
Download link
(920KB, PDF)

Similar books

Book cover: Epistemic Game Theory and LogicEpistemic Game Theory and Logic
by - 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.
(651 views)
Book cover: Introduction to Game TheoryIntroduction to Game Theory
by - 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.
(8026 views)
Book cover: An Introduction to Quantum Game TheoryAn Introduction to Quantum Game Theory
by - 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.
(6092 views)
Book cover: Graduate-Level Course in Game TheoryGraduate-Level Course in Game Theory
by
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.
(10862 views)