AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference.

Zitong Zhou, Zixin Huang, Sasa Misailovic

Browse the full ATVA paper archive.