Lectures in game theory for computer scientists
Author(s)
Bibliographic Information
Lectures in game theory for computer scientists
Cambridge University Press, 2011
- : hbk
Available at 9 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Description and Table of Contents
Description
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.
Table of Contents
- List of contributors
- Preface Krzysztof R. Apt and Erich Gradel
- 1. A primer on strategic games Krzysztof R. Apt
- 2. Infinite games and automata theory Christof Loeding
- 3. Algorithms for solving parity games Marcin Jurdzinski
- 4. Back and forth between logic and games Erich Gradel
- 5. Turn-based stochastic games Antonin Kucera
- 6. Games with imperfect information: theory and algorithms Laurent Doyen and Jean-Francois Raskin
- 7. Graph searching games Stephan Kreutzer
- 8. Beyond Nash equilibrium: solution concepts for the 21st century Joseph Y. Halpern
- Index.
by "Nielsen BookData"