Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Universiteit van Amsterdam
Erich Grädel, Rheinisch-Westfälische Technische Hochschule, Aachen, Germany
No date available
Hardback
9780521198660
Hardback

    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.

    • A helpful guide to current research in this fast-growing area
    • Contains seven lectures from specialists in the field
    • Explores various aspects of game theory relevant to computer scientists

    Product details

    No date available
    Hardback
    9780521198660
    308 pages
    254 × 179 × 23 mm
    0.77kg
    45 b/w illus. 5 tables 60 exercises

    Table of Contents

    • List of contributors
    • Preface Krzysztof R. Apt and Erich Grädel
    • 1. A primer on strategic games Krzysztof R. Apt
    • 2. Infinite games and automata theory Christof Löding
    • 3. Algorithms for solving parity games Marcin Jurdziński
    • 4. Back and forth between logic and games Erich Grädel
    • 5. Turn-based stochastic games Antonín Kučera
    • 6. Games with imperfect information: theory and algorithms Laurent Doyen and Jean-François Raskin
    • 7. Graph searching games Stephan Kreutzer
    • 8. Beyond Nash equilibrium: solution concepts for the 21st century Joseph Y. Halpern
    • Index.
      Contributors
    • Krzysztof R. Apt, Erich Grädel, Christof Löding, Marcin Jurdziński, Antonín Kučera, Laurent Doyen, Jean-François Raskin, Stephan Kreutzer, Joseph Y. Halpern