TY  - RPRT
TI  - Strategy Synthesis for Multi-dimensional Quantitative Objectives
AU  - Krishnendu Chatterjee
AU  - Mickael Randour
AU  - Jean-François Raskin
PY  - 2014
UR  - https://arxiv.org/abs/1201.5073
ID  - 1201.5073
ER  -