3 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang +1
We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop inv…