activity
20222026
most citedStatic Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.PL2022

ProbTA: A sound and complete proof rule for probabilistic verification

Guanyan Li, Zhilei Han, Fei He

We propose a sound and complete proof rule ProbTA for quantitative analysis of violation probability of probabilistic programs. Our approach extends the technique of trace abstract…