TY  - RPRT
TI  - Undecidability of Two-dimensional Robot Games
AU  - Reino Niskanen
AU  - Igor Potapov
AU  - Julien Reichert
PY  - 2016
UR  - https://arxiv.org/abs/1604.08779
ID  - 1604.08779
ER  -