@techreport{CS-RR-16-03,
  title = "Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives",
  author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche",
  year = "2016",
  address = "Oxford, UK",
  institution = "Department of Computer Science",
  pages = "79",
}