Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Browse the full CAV paper archive.