-
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
Analyzing probabilistic programs and randomized algorithms are classical...
08/02/2020 ∙ by Jinyi Wang, et al. ∙
0
∙
share
read it
-
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs
In this work, we consider the almost-sure termination problem for probab...
01/18/2019 ∙ by Mingzhang Huang, et al. ∙
0
∙
share
read it
-
New Approaches for Almost-Sure Termination of Probabilistic Programs
We study the almost-sure termination problem for probabilistic programs....
06/14/2018 ∙ by Mingzhang Huang, et al. ∙
0
∙
share
read it
