TY - RPRT TI - Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives AU - Yaron Velner PY - 2014 UR - https://arxiv.org/abs/1209.1007 ID - 1209.1007 ER -