@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", }