TY  - RPRT
TI  - Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
AU  - Lorenzo Clemente
AU  - Jean-François Raskin
PY  - 2017
UR  - https://arxiv.org/abs/1504.08211
ID  - 1504.08211
ER  -