TY  - RPRT
TI  - Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification
AU  - Marcel Hark
AU  - Benjamin Lucien Kaminski
AU  - Jürgen Giesl
AU  - Joost-Pieter Katoen
PY  - 2021
DO  - 10.1145/3371105
UR  - https://arxiv.org/abs/1904.01117
ID  - 1904.01117
ER  -