TY  - RPRT
TI  - Formal Synthesis of Stochastic Systems via Control Barrier Certificates
AU  - Pushpak Jagtap
AU  - Sadegh Soudjani
AU  - Majid Zamani
PY  - 2020
DO  - 10.1109/tac.2020.3013916
UR  - https://arxiv.org/abs/1905.04585
ID  - 1905.04585
ER  -