Undecidability of Two-dimensional Robot Games
From MaRDI portal
Publication:4608636
DOI10.4230/LIPIcs.MFCS.2016.73zbMath1398.91012arXiv1604.08779OpenAlexW2962853095MaRDI QIDQ4608636
Reino Niskanen, J. Reichert, Igor Potapov
Publication date: 21 March 2018
Full work available at URL: https://arxiv.org/abs/1604.08779
2-person games (91A05) Games involving graphs (91A43) Undecidability and degrees of sets of sentences (03D35)
Related Items (4)
Hyperplane separation technique for multidimensional mean-payoff games ⋮ Bounding Average-Energy Games ⋮ On decidability and complexity of low-dimensional robot games ⋮ Weighted automata on infinite words in the context of attacker-defender games
This page was built for publication: Undecidability of Two-dimensional Robot Games
