Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2020). Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access, 8, 180825–180843. https://doi.org/10.1109/access.2020.3028476