@article{Ding_2013,
title={A stochastic games framework for verification and control of discrete time stochastic hybrid systems},
volume={49},
ISSN={0005-1098},
url={http://dx.doi.org/10.1016/j.automatica.2013.05.025},
DOI={10.1016/j.automatica.2013.05.025},
number={9},
journal={Automatica},
publisher={Elsevier BV},
author={Ding,
Jerry and Kamgarpour,
Maryam and Summers,
Sean and Abate,
Alessandro and Lygeros,
John and Tomlin,
Claire},
year={2013},
month=sep,
pages={2665–2674} }