@misc{indiciaeadff3d523576,
  title = {Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters},
  author = {Fedor Shmarov and Paolo Zuliani},
  year = {2015},
  url = {https://arxiv.org/abs/1406.1920},
  note = {Source identifier: 1406.1920}
}