@article{15751, title = "Cost analysis of nondeterministic probabilistic programs", author = "Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi", year = "2019", journal = "Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation", url = "https://dl.acm.org/doi/10.1145/3314221.3314581", doi = "10.1145/3314221.3314581", }