Automated Tail Bound Analysis for Probabilistic Recurrence Relations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yican Sun, Hongfei Fu 0001, Krishnendu Chatterjee, Amir Kafshdar Goharshady. Automated Tail Bound Analysis for Probabilistic Recurrence Relations. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 16-39, Springer, 2023. [doi]

This author has not been identified. Look up 'Yican Sun' in GoogleThis author has not been identified. Look up 'Hongfei Fu 0001' in GoogleThis author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Amir Kafshdar Goharshady' in Google

runs on WebDSL