TY - JOUR
AU - F. Shmarov
AU - S. Soudjani
AU - N. Paoletti
AU - E. Bartocci
AU - S. Lin
AU - S. Smolka
AU - P. Zuliani
BT - IEEE Access
LA - eng
PY - 2020
T2 - IEEE Access
TI - Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
ER -