Szekeres, D. and Majzik, I. 2023. Towards Abstraction-based Probabilistic Program Analysis. Acta Cybernetica. (Jun. 2023). DOI:https://doi.org/10.14232/actacyb.298287.