@techreport{RR-14-10,
  title = "Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives",
  author = "Nicolas Basset and Marta Kwiatkowska and Ufuk Topcu and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-10",
  pages = "30",
}