Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes.

Fabian Meyer, Marcel Hark, Jrgen Giesl

Browse the full TACAS paper archive.