TY  - RPRT
TI  - Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
AU  - Fedor Shmarov
AU  - Sadegh Soudjani
AU  - Nicola Paoletti
AU  - Ezio Bartocci
AU  - Shan Lin
AU  - Scott A. Smolka
AU  - Paolo Zuliani
PY  - 2019
UR  - https://arxiv.org/abs/1901.03315
ID  - 1901.03315
ER  -