Automated tail bound analysis for probabilistic recurrence relations
From MaRDI portal
Publication:6535678
DOI10.1007/978-3-031-37709-9_2zbMath1547.68846MaRDI QIDQ6535678
Amir Kafshdar Goharshady, Yican Sun, Krishnendu Chatterjee, Hongfei Fu
Publication date: 1 February 2024
This page was built for publication: Automated tail bound analysis for probabilistic recurrence relations