@misc{indiciae8ccf04887632,
  title = {Piecewise Analysis of Probabilistic Programs via \$k\$-Induction},
  author = {Tengshun Yang and Shenghua Feng and Hongfei Fu and Naijun Zhan and Jingyu Ke and Shiyang Wu},
  year = {2026},
  doi = {10.1145/3776709},
  url = {https://arxiv.org/abs/2403.17567},
  note = {Source identifier: 2403.17567}
}