Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Aiming low is harder: induction for lower bounds in probabilistic program verification
POPL, 2020.
@article{POPL-2020-HarkKGK,
author = "Marcel Hark and Benjamin Lucien Kaminski and Jürgen Giesl and Joost-Pieter Katoen",
doi = "10.1145/3371105",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Aiming low is harder: induction for lower bounds in probabilistic program verification}",
volume = 4,
year = 2020,
}