TY - RPRT TI - Computing Expected Runtimes for Constant Probability Programs AU - Jürgen Giesl AU - Peter Giesl AU - Marcel Hark PY - 2019 UR - https://arxiv.org/abs/1905.09544 ID - 1905.09544 ER -