@misc{indiciae1be61443dc9d,
  title = {Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties},
  author = {John F. Quindlen and Ufuk Topcu and Girish Chowdhary and Jonathan P. How},
  year = {2017},
  url = {https://arxiv.org/abs/1709.06645},
  note = {Source identifier: 1709.06645}
}