Yican Sun
Yican Sun
Home
Publications
Light
Dark
Automatic
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun
,
Hongfei Fu
,
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
April 2023
PDF
Type
Conference paper
Publication
35th International Conference on Computer Aided Verification (CAV'23)
Related
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Parameterized Inapproximability Hypothesis under ETH
Synthesizing Efficient Memoization Algorithms
Improved Hardness of Approximating k-Clique under ETH
Cite
×