research
∙
08/02/2020
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
Analyzing probabilistic programs and randomized algorithms are classical...
share
research
∙
01/18/2019
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs
In this work, we consider the almost-sure termination problem for probab...
research
∙
06/14/2018
