Robust Multidimensional Mean-Payoff Games are Undecidable.

Yaron Velner

Browse the full FOSSACS paper archive.