Quantitative analysis of assertion violations in probabilistic programs.

Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Browse the full PLDI paper archive.