@misc{indiciaec4fb4ebde22d,
  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},
  url = {https://arxiv.org/abs/1902.04659},
  note = {Source identifier: 1902.04659}
}