Aiming low is harder: induction for lower bounds in probabilistic program verification
New York, NY, USA / ACM (2020) [Journal Article]
Proceedings of the ACM on programming languages
Volume: 4
Issue: POPL
Page(s): 1-28
Authors
Authors
Hark, Marcel
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter
Identifier
- DOI: 10.1145/3371105
- REPORT NUMBER: RWTH-2020-02704