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