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