%0 Journal Article %1 journals/corr/abs-1901-03315 %A Shmarov, Fedor %A Soudjani, Sadegh %A Paoletti, Nicola %A Bartocci, Ezio %A Lin, Shan %A Smolka, Scott A. %A Zuliani, Paolo %D 2019 %J CoRR %K dblp %T Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1901.html#abs-1901-03315 %V abs/1901.03315

@article{journals/corr/abs-1901-03315, added-at = {2019-02-01T00:00:00.000+0100}, author = {Shmarov, Fedor and Soudjani, Sadegh and Paoletti, Nicola and Bartocci, Ezio and Lin, Shan and Smolka, Scott A. and Zuliani, Paolo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d722b9c3a24dac48c374bc128e9b5ae5/dblp}, ee = {http://arxiv.org/abs/1901.03315}, interhash = {35fb665d8c41e761bd58a5f3713a38a0}, intrahash = {d722b9c3a24dac48c374bc128e9b5ae5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:33:16.000+0200}, title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1901.html#abs-1901-03315}, volume = {abs/1901.03315}, year = 2019 }