2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…