Peixin Wang : Publications
-
[1]
Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time
Peixin Wang‚ Hongfei Fu‚ Krishnendu Chatterjee‚ Yuxin Deng and Ming Xu
In Proceedings of the ACM on Programming Languages. Vol. 4. No. POPL. 2020.
Details about Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | BibTeX data for Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | Download (pdf) of Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time | DOI (10.1145/3371093) | Link to Proving expected sensitivity of probabilistic programs with randomized variable−dependent termination time