Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time
Peixin Wang‚ Hongfei Fu‚ Krishnendu Chatterjee‚ Yuxin Deng and Ming Xu
Journal
Proceedings of the ACM on Programming Languages
Number
POPL
Publisher
Association for Computing Machinery
Volume
4
Year
2020