@article {,
	title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems},
	journal = {IEEE Access},
	year = {2020},
	author = {F. Shmarov and S. Soudjani and N. Paoletti and E. Bartocci and S. Lin and S. A. Smolka and P. Zuliani}
}
