Mariia Vasileva

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

An Evaluation of Estimation Techniques for Probabilistic Verification.

Mariia Vasileva, Paolo Zuliani

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

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.

Mariia Vasileva, Fedor Shmarov, Paolo Zuliani

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.

Mariia Vasileva, Paolo Zuliani

CoRR, 2018