BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-290963, author = {Shmarov, Fedor and Soudjani, Sadegh and Paoletti, Nicola and Bartocci, Ezio and Lin, Shan and Smolka, Scott A. and Zuliani, Paolo}, title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems}, journal = {IEEE Access}, year = {2020}, volume = {8}, number = {8}, pages = {180825--180843}, doi = {10.1109/ACCESS.2020.3028476} } 1 Datensatz ausgegeben