List of contributors |
Preface |
A Primer on Strategic Games / Krzysztof R. Apt1: |
Introduction / 1.1: |
Basic concepts / 1.2: |
Iterated elimination of strategies I / 1.3: |
Mixed extension / 1.4: |
Iterated elimination of strategies II / 1.5: |
Variations on the definition of strategic games / 1.6: |
Mechanism design / 1.7: |
Pre-Bayesian games / 1.8: |
Conclusions / 1.9: |
Infinite Games and Automata Theory / Christof Löding2: |
Basic notations and definitions / 2.1: |
Transformation of winning conditions / 2.3: |
Tree automata / 2.4: |
Beyond finite automata / 2.5: |
Conclusion / 2.6: |
Algorithms for Solving Parity Games / Marcin Jurdzinski3: |
Games on graphs / 3.1: |
Solving repeated reachability and eventual safety games / 3.2: |
Solving parity games / 3.3: |
Related work / 3.4: |
Back and Forth Between Logic and Games / Erich Grädel4: |
Reachability games and parity games / 4.1: |
Reachability games and logic / 4.3: |
Logics with least and greatest fixed-points / 4.4: |
Definability of winning regions in parity games / 4.5: |
Inflationary fixed-point logic and backtracking games / 4.6: |
Logic and games in a quantitative setting / 4.7: |
Turn-Based Stochastic Games / AntonÃn Kucera5: |
Winning objectives in stochastic games / 5.1: |
Reachability objectives in games with finitely and infinitely many vertices / 5.3: |
Some directions of future research / 5.4: |
Games with Imperfect Information: Theory and Algorithms / Laurent Doyen ; Jean-François Raskin6: |
Games with perfect information / 6.1: |
Games with imperfect information: surely-winning / 6.3: |
Games with imperfect information: almost-surely-winning / 6.4: |
Graph Searching Games / Stephan Kreutzer7: |
Classifying graph searching games / 7.1: |
Variants of graph searching games / 7.3: |
Monotonicity of graph searching / 7.4: |
Obstructions / 7.5: |
An application to graph-decompositions / 7.6: |
Complexity of graph searching / 7.7: |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century / Joseph Y. Halpern7.8: |
Robust and resilient equilibrium / 8.1: |
Taking computation into account / 8.3: |
Taking (lack of) awareness into account / 8.4: |
Iterated regret minimisation / 8.5: |
Index / 8.6: |
List of contributors |
Preface |
A Primer on Strategic Games / Krzysztof R. Apt1: |
Introduction / 1.1: |
Basic concepts / 1.2: |
Iterated elimination of strategies I / 1.3: |