@misc{indiciae393bdd732c51,
  title = {Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops},
  author = {Fabian Zaiser and Andrzej S. Murawski and C. -H. Luke Ong},
  year = {2024},
  doi = {10.1145/3704874},
  url = {https://arxiv.org/abs/2411.10393},
  note = {Source identifier: 2411.10393}
}