TY  - RPRT
TI  - Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
AU  - Krishnendu Chatterjee
AU  - Hongfei Fu
AU  - Aniket Murhekar
PY  - 2017
UR  - https://arxiv.org/abs/1705.00314
ID  - 1705.00314
ER  -