Quantitative Verification of Omega-regular Properties in Probabilistic Programming

Peixin Wang, Jianhao Bai, Min Zhang +1

Probabilistic programming provides a high-level framework for specifying statistical models as executable programs with built-in randomness and conditioning. Existing inference tec…