@Article{BKW17,
author={N. Basset and M. Kwiatkowska and C. Wiltsche},
title={Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives},
journal={Information and Computation},
year={2017},

volume={261},
number={3},
pages={536-587},
publisher={},
month={},
note={},
key={}
}