@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",
}