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