@misc{indiciae228ea248a698,
  title = {Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems},
  author = {Sadegh Esmaeil Zadeh Soudjani and Rupak Majumdar and Tigran Nagapetyan},
  year = {2017},
  url = {https://arxiv.org/abs/1706.08270},
  note = {Source identifier: 1706.08270}
}