@Article{SK16,
author={M. Svorenova and M. Kwiatkowska},
title={Quantitative Verification and Strategy Synthesis for Stochastic Games},
journal={European Journal of Control},
year={2016},

volume={30},
number={},
pages={15–30},
publisher={Elsevier},
month={},
note={},
key={}
}