@misc{indiciaeac4c7936b2c2,
  title = {Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives},
  author = {Yaron Velner},
  year = {2014},
  url = {https://arxiv.org/abs/1209.1007},
  note = {Source identifier: 1209.1007}
}