@misc{indiciaea8509f92b675,
  title = {Formal Synthesis of Stochastic Systems via Control Barrier Certificates},
  author = {Pushpak Jagtap and Sadegh Soudjani and Majid Zamani},
  year = {2020},
  doi = {10.1109/tac.2020.3013916},
  url = {https://arxiv.org/abs/1905.04585},
  note = {Source identifier: 1905.04585}
}