TY  - RPRT
TI  - Structural Abstraction and Refinement for Probabilistic Programs
AU  - Guanyan Li
AU  - Juanen Li
AU  - Zhilei Han
AU  - Peixin Wang
AU  - Hongfei Fu
AU  - Fei He
PY  - 2025
UR  - https://arxiv.org/abs/2508.12344
ID  - 2508.12344
ER  -