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
Cite
Slides
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
Synthesis and Verification of Complex Algorithms
Proving Functional Program Equivalence via Directed Lemma Synthesis
ASAC: A Benchmark for Algorithm Synthesis
Cite
×