On decidability and complexity of low-dimensional robot games

Reino Niskanen, Igor Potapov, Julien Reichert. On decidability and complexity of low-dimensional robot games. J. Comput. Syst. Sci., 107:124-141, 2020. [doi]

Abstract

Abstract is missing.