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