Gretz, F., 2022. Semantics and loop invariant synthesis for probabilistic programs.. https://doi.org/10.25949/19432721