Caesar: A Deductive Verifier for Probabilistic Programs. - Philipp Schröer; Kevin Batz; Umut Yigit Dural; Darion Haase; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (CoRR, 2026)