@Article{         ChatterjeeRandourRaskin,
  Author        = "Chatterjee, Krishnendu and Randour, Mickael and Raskin, Jean-Fran{\c c}ois",
  date-added    = "2014-04-22 15:08:20 +0000",
  date-modified = "2014-04-22 15:08:23 +0000",
  EPrint        = "1201.5073",
  Month         = "01",
  Title         = "Strategy Synthesis for Multi-dimensional Quantitative Objectives",
  URL           = "http://arxiv.org/abs/1201.5073",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1201.5073",
  File          = "Strategy Synthesis for Multi-dimensional Quantitative Objectives - Chatterjee, Randour, Raskin (0) (1) - a - a - v.pdf"
}

@Article{ ChatterjeeRandourRaskin, Author = "Chatterjee, Krishnendu and Randour, Mickael and Raskin, Jean-Fran{\c c}ois", date-added = "2014-04-22 15:08:20 +0000", date-modified = "2014-04-22 15:08:23 +0000", EPrint = "1201.5073", Month = "01", Title = "Strategy Synthesis for Multi-dimensional Quantitative Objectives", URL = "http://arxiv.org/abs/1201.5073", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1201.5073", File = "Strategy Synthesis for Multi-dimensional Quantitative Objectives - Chatterjee, Randour, Raskin (0) (1) - a - a - v.pdf" }