Verified Tail Bounds for Randomized Programs.

Joseph Tassarotti Robert Harper

Published in: ITP (2018)

Keyphrases

upper bound
lower bound
randomized algorithms
worst case
computer programs
randomized algorithm
upper and lower bounds
average case
provably correct
special case
lower and upper bounds
generalization bounds
distribution free
control structures