Szekeres, Dániel, and István Majzik. 2023. “Towards Abstraction-Based Probabilistic Program Analysis”. Acta Cybernetica 26 (3), 671-711. https://doi.org/10.14232/actacyb.298287.