TY  - RPRT
TI  - Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
AU  - Peixin Wang
AU  - Hongfei Fu
AU  - Krishnendu Chatterjee
AU  - Yuxin Deng
AU  - Ming Xu
PY  - 2019
UR  - https://arxiv.org/abs/1902.04744
ID  - 1902.04744
ER  -