Full version: An evaluation of estimation techniques for probabilistic reachability. - Mariia Vasileva; Paolo Zuliani (CoRR, 2018)

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. - Mariia Vasileva; Fedor Shmarov; Paolo Zuliani (MEMOCODE, 2020)

An Evaluation of Estimation Techniques for Probabilistic Verification. - Mariia Vasileva; Paolo Zuliani (VECoS, 2020)