Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar. Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 118-139, Springer, 2017. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Hongfei Fu' in GoogleThis author has not been identified. Look up 'Aniket Murhekar' in Google

runs on WebDSL