@misc{indiciae06523f14b019,
  title = {Approximate probabilistic verification of hybrid systems},
  author = {Benjamin M. Gyori and Bing Liu and Soumya Paul and R. Ramanathan and P. S. Thiagarajan},
  year = {2015},
  url = {https://arxiv.org/abs/1412.6953},
  note = {Source identifier: 1412.6953}
}