@article{Ding_2013,<br/><span class="tab"></span>
	doi = {10.1016/j.automatica.2013.05.025},<br/><span class="tab"></span>
	url = {https://doi.org/10.1016%2Fj.automatica.2013.05.025},<br/><span class="tab"></span>
	year = 2013,<br/><span class="tab"></span>
	month = {sep},<br/><span class="tab"></span>
	publisher = {Elsevier {BV}},<br/><span class="tab"></span>
	volume = {49},<br/><span class="tab"></span>
	number = {9},<br/><span class="tab"></span>
	pages = {2665--2674},<br/><span class="tab"></span>
	author = {Jerry Ding and Maryam Kamgarpour and Sean Summers and Alessandro Abate and John Lygeros and Claire Tomlin},<br/><span class="tab"></span>
	title = {A stochastic games framework for verification and control of discrete time stochastic hybrid systems},<br/><span class="tab"></span>
	journal = {Automatica}
<br/>}