%0 Journal Article
%B IEEE Access
%D 2020
%G eng
%T Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems