Undecidability of Two-dimensional Robot Games

Reino Niskanen, Igor Potapov, Julien Reichert

Robot game is a two-player vector addition game played on the integer lattice ${\mathbb{Z}}^n$. Both players have sets of vectors and in each turn the vector chosen by a player is ad…