@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={}, 
number={}, 
pages={}, 
publisher={Elsevier}, 
month={}, 
note={To appear}, 
key={} }