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