PrIC3: Property Directed Reachability for MDPs. - Kevin Batz; Sebastian Junges; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Philipp Schröer (CAV (2), 2020)

Latticed k-Induction with an Application to Probabilistic Programs. - Kevin Batz; Mingshuai Chen; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Philipp Schröer (CAV (2), 2021)

A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation. - Philipp Schröer; Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (Zenodo, 2023)

A Deductive Verification Infrastructure for Probabilistic Programs. - Philipp Schröer; Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (Proc. ACM Program. Lang., 2023)

Symbolic Quantitative Information Flow for Probabilistic Programs. - Philipp Schröer; Francesca Randone; Raúl Pardo; Andrzej Wasowski (Principles of Verification (1), 2024)