@misc{indiciaec4f839975ec8,
  title = {Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification},
  author = {Marcel Hark and Benjamin Lucien Kaminski and Jürgen Giesl and Joost-Pieter Katoen},
  year = {2021},
  doi = {10.1145/3371105},
  url = {https://arxiv.org/abs/1904.01117},
  note = {Source identifier: 1904.01117}
}