Undecidability of Two-dimensional Robot Games.

Reino Niskanen, Igor Potapov, Julien Reichert

Browse the full MFCS paper archive.