Mariia Vasileva

According to our database¹, Mariia Vasileva authored at least 3 papers between 2018 and 2020.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2020

An Evaluation of Estimation Techniques for Probabilistic Verification.

[DOI]

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2018

Full version: An evaluation of estimation techniques for probabilistic reachability.

[DOI]

CoRR, 2018