C
[CRR12] Krishnendu Chatterjee, Mickael Randour et Jean-François Raskin. Strategy Synthesis for Multi-dimensional Quantitative Objectives. Research Report 1201.5073, arXiv, janvier 2012. 
@techreport{arxiv12-CRR,
  author =              {Chatterjee, Krishnendu and Randour, Mickael and
                         Raskin, Jean-Fran{\c c}ois},
  title =               {Strategy Synthesis for Multi-dimensional
                         Quantitative Objectives},
  number =              {1201.5073},
  year =                {2012},
  month =               jan,
  institution =         {arXiv},
  type =                {Research Report},
}
Liste des auteurs