Karimi, A., Moosbrugger, M., Stankovič, M., Kovács, L., Bartocci, E., & Bura, E. (2022). Distribution Estimation for Probabilistic Loops. In E. Ábrahám & M. Paolieri (Eds.),
Quantitative Evaluation of Systems (pp. 26–42). Springer-Verlag.
https://doi.org/10.1007/978-3-031-16336-4_2 ( reposiTUm)