@article{samplingbasedapproximationswith,
  title = {Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes},
  author = {Sofie Haesaert and Robert Babuska and Alessandro Abate},
  year = {2014},
  eprint = {1409.0553},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1409.0553v2},
}