@misc{indiciae5278af4fd6e0,
  title = {Towards Scalable Synthesis of Stochastic Control Systems},
  author = {Majid Zamani and Ilya Tkachev and Alessandro Abate},
  year = {2016},
  url = {https://arxiv.org/abs/1602.01358},
  note = {Source identifier: 1602.01358}
}