most citedFinding polynomial loop invariants for probabilistic programs

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

collaborators

1 paper

cs.LO2017★ 1 cited

Finding polynomial loop invariants for probabilistic programs

Yijun Feng, Lijun Zhang, David N. Jansen +2

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing…