@article{shmarov2020automated,
  title={Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems},
  author={Shmarov, Fedor and Soudjani, Sadegh and Paoletti, Nicola and Bartocci, Ezio and Lin, Shan and Smolka, Scott A and Zuliani, Paolo},
  journal={IEEE Access},
  volume={8},
    pages={180825--180843},
  url={https://ieeexplore.ieee.org/document/9211405},
    doi = {10.1109/ACCESS.2020.3028476},
  year={2020}
}