@misc{indiciae433cfa6fe82a,
  title = {Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time},
  author = {Peixin Wang and Hongfei Fu and Krishnendu Chatterjee and Yuxin Deng and Ming Xu},
  year = {2019},
  url = {https://arxiv.org/abs/1902.04744},
  note = {Source identifier: 1902.04744}
}