Lectures in Game Theory for Computer Scientists (Google eBook)

Front Cover
Krzysztof R. Apt, Erich Grädel
Cambridge University Press, Jan 6, 2011 - Computers
0 Reviews
Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Infinite Games and Automata Theory
38
Algorithms for Solving Parity Games
74
Back and Forth Between Logic and Games
99
TurnBased Stochastic Games
146
Graph Searching Games
213
38
253
Solution Concepts
264
57
266
Index
291
74
292
Copyright

Common terms and phrases

About the author (2011)

Krzysztof R. Apt is Professor at the University of Amsterdam and a Fellow at Centrum voor Wiskunde en Informatica (CWI) in Amsterdam.

Erich Grädel is Professor for Mathematical Foundations of Computer Science at RWTH Aachen University in Germany.

Bibliographic information