Author:
Zhou Zitong,Huang Zixin,Misailovic Sasa
Publisher
Springer Nature Switzerland
Reference31 articles.
1. Aguirre, A., Barthe, G., Hsu, J., Kaminski, B.L., Katoen, J.P., Matheja, C.: Kantorovich continuity of probabilistic programs. arXiv preprint arXiv:1901.06540 (2019)
2. Aguirre, A., Barthe, G., Hsu, J., Kaminski, B.L., Katoen, J.P., Matheja, C.: A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5(POPL), 1–28 (2021)
3. Barthe, G., Espitau, T., Grégoire, B., Hsu, J., Strub, P.Y.: Proving expected sensitivity of probabilistic programs, vol. 2 (2017)
4. Baydin, A.G., et al.: Etalumis: bringing probabilistic programming to scientific simulators at scale. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. SC ’19, Association for Computing Machinery, New York, NY, USA (2019). https://doi.org/10.1145/3295500.3356180
5. Berger, J.O., et al.: An overview of robust Bayesian analysis. TEST 3(1), 5–124 (1994)