TY - RPRT TI - Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes AU - Sofie Haesaert AU - Robert Babuska AU - Alessandro Abate PY - 2015 UR - https://arxiv.org/abs/1409.0553 ID - 1409.0553 ER -