Batz, K; Chen, M; Kaminski, BL; Katoen, J-P; Matheja, C; Schröer, P; (2021) Latticed k-Induction with an Application to Probabilistic Programs. In: Computer Aided Verification. (pp. pp. 524-549). Springer: Cham, Switzerland.