Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds.

Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar

Browse the full CAV paper archive.