Publications.

Zixin Huang, Zhenbang Wang and Sasa Misailovic. PSense: Automatic Sensitivity Analysis for Probabilistic Programs. International Symposium on Automated Technology for Verification and Analysis, 2018

Zixin Huang, Zhenbang Wang and Sasa Misailovic. Sensitivity Analysis for Probabilistic Programs with PSense. The International Conference on Probabilistic Programming, 2018


Return to Homepage