@article{7bb60061439a4cd2b0d976b98b811e47,
title = "Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems",
keywords = "Formal Controller synthesis, Parameter synthesis, Probabilistic guarantees, Safety verification, Sampled-data nonlinear systems, Satisfiability modulo theories, Statistical model checking, Stochastic systems",
author = "Fedor Shmarov and Sadegh Soudjani and Nicola Paoletti and Ezio Bartocci and Shan Lin and Smolka, {Scott A.} and Paolo Zuliani",
year = "2020",
month = oct,
day = "2",
doi = "10.1109/ACCESS.2020.3028476",
language = "English",
volume = "8",
pages = "180825--180843",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
}