Author:
Huang Zixin,Dutta Saikat,Misailovic Sasa
Publisher
Springer International Publishing
Reference24 articles.
1. Aguirre, A., Barthe, G., Hsu, J., Kaminski, B.L., Katoen, J.P., Matheja, C.: A pre-expectation calculus for probabilistic sensitivity. POPL (2021)
2. Albarghouthi, A., D’Antoni, L., Drews, S., Nori, A.: Fairsquare: probabilistic verification of program fairness. OOPSLA (2017)
3. Bissiri, P., Holmes, C., Walker, S.: A general framework for updating belief distributions. J. R. Stat. Soc. Ser. B Stat. Methodol. 78(5), 1103 (2016)
4. Borges, M., Filieri, A., d’Amorim, M., Păsăreanu, C.S., Visser, W.: Compositional solution space quantification for probabilistic software analysis. PLDI (2014)
5. Carpenter, B., Gelman, A., Hoffman, M., Lee, D., et al.: Stan: a probabilistic programming language. JSTATSOFT 20(2) (2016)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献