Full version: An evaluation of estimation techniques for probabilistic reachability

Mariia Vasileva, Paolo Zuliani

We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC) and Randomised Quasi-Monte Carlo (RQMC) methods for computing probabilistic reachability in hybrid systems…