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