@techreport{RR-14-05,
  title = "Compositional Controller Synthesis for Stochastic Games",
  author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-05",
  pages = "26",
}