On decidability and complexity of low-dimensional robot games

A robot game, also known as a Z-VAS game, is a two-player vector addition game played on the integer lattice Zn, where one of the players, Adam, aims to avoid the origin while the other player, Eve, aims to reach the origin. The problem is to decide whether or not Eve has a winning strategy. In this...

Full description

Bibliographic Details
Main Authors: Niskanen, R, Potapov, I, Reichert, J
Format: Journal article
Language:English
Published: Elsevier 2019