TY  - RPRT
TI  - Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
AU  - Fabian Zaiser
AU  - Andrzej S. Murawski
AU  - C. -H. Luke Ong
PY  - 2024
DO  - 10.1145/3704874
UR  - https://arxiv.org/abs/2411.10393
ID  - 2411.10393
ER  -