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

Sources