@misc{indiciae14c004b5613d,
  title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
  author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
  year = {2020},
  url = {https://arxiv.org/abs/2011.14617},
  note = {Source identifier: 2011.14617}
}