Aiming low is harder: induction for lower bounds in probabilistic program verification
Hark, Marcel Tobias (Corresponding author); Kaminski, Benjamin Lucien; Giesl, Jürgen; Katoen, Joost-Pieter
New York, NY, USA : ACM (2020)
Conference Presentation, Journal Article
In: Proceedings of the ACM on programming languages
Volume: 4
Issue: POPL
Page(s)/Article-Nr.: 1-28
Identifier
- DOI: 10.1145/3371105
- RWTH PUBLICATIONS: RWTH-2020-02704