Robust Multidimensional Mean-Payoff Games are Undecidable

DOI10.1007/978-3-662-46678-0_20zbMath1391.03032arXiv1410.5703OpenAlexW1490753406MaRDI QIDQ2949447

Yaron Velner

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.5703

Mathematics Subject Classification ID

Games involving graphs (91A43) Undecidability and degrees of sets of sentences (03D35)

Related Items (3)

Unnamed Item ⋮ Quantitative fair simulation games ⋮ Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions

This page was built for publication: Robust Multidimensional Mean-Payoff Games are Undecidable