TY  - RPRT
TI  - Quantitative Verification of Omega-regular Properties in Probabilistic Programming
AU  - Peixin Wang
AU  - Jianhao Bai
AU  - Min Zhang
AU  - C. -H. Luke Ong
PY  - 2025
UR  - https://arxiv.org/abs/2512.21596
ID  - 2512.21596
ER  -