Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games

James C. A. Main

We study the memory requirements of Nash equilibria in turn-based multiplayer games on possibly infinite graphs with reachability, safety, shortest-path, Büchi and co-Büchi objecti…