Batz, K; Kaminski, BL; Katoen, J-P; Matheja, C; (2021) Relatively Complete Verification of Probabilistic Programs: An Expressive Language for Expectation-Based Reasoning. Proceedings of the ACM on Programming Languages , 5 (POPL) , Article 39. 10.1145/3434320.