@misc{indiciae3b70d754c24b,
  title = {The Stochastic Reach-Avoid Problem and Set Characterization for Diffusions},
  author = {Peyman Mohajerin Esfahani and Debasish Chatterjee and John Lygeros},
  year = {2016},
  doi = {10.1016/j.automatica.2016.03.016},
  url = {https://arxiv.org/abs/1202.4375},
  note = {Source identifier: 1202.4375}
}