@phdthesis{zaiser2024bounds,
  author = {Zaiser, Fabian},
  title = {{Towards Formal Verification of Bayesian Inference in Probabilistic Programming via Guaranteed Bounds}},
  school = {University of Oxford},
  year = {2024},
  url = {https://ora.ox.ac.uk/objects/uuid:ca1aebe4-f68b-47d1-a95a-7132d9723481}
}