TY  - RPRT
TI  - Piecewise Analysis of Probabilistic Programs via $k$-Induction
AU  - Tengshun Yang
AU  - Shenghua Feng
AU  - Hongfei Fu
AU  - Naijun Zhan
AU  - Jingyu Ke
AU  - Shiyang Wu
PY  - 2026
DO  - 10.1145/3776709
UR  - https://arxiv.org/abs/2403.17567
ID  - 2403.17567
ER  -