Cost analysis of nondeterministic probabilistic programs
Peixin Wang‚ Hongfei Fu‚ Amir Kafshdar Goharshady‚ Krishnendu Chatterjee‚ Xudong Qin and Wenjun Shi
Journal
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Year
2019