How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (ESOP, 2018)

Quantitative Separation Logic. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (CoRR, 2018)

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (Proc. ACM Program. Lang., 2019)

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

Generating Functions for Probabilistic Programs. - Lutz Klinkenberg; Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Joshua Moerman; Tobias Winkler 001 (LOPSTR, 2020)

Relatively Complete Verification of Probabilistic Programs. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (CoRR, 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)

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (Proc. ACM Program. Lang., 2021)

Foundations for Entailment Checking in Quantitative Separation Logic. - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (ESOP, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic (extended version). - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (CoRR, 2022)

Weighted Programming. - Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler 001 (CoRR, 2022)

Weighted programming: a programming paradigm for specifying mathematical models. - Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler 001 (Proc. ACM Program. Lang., 2022)

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. - Kevin Batz; Mingshuai Chen; Sebastian Junges; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja (TACAS (2), 2023)

A Calculus for Amortized Expected Runtimes. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Lena Verscht (Proc. ACM Program. Lang., 2023)

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)

J-P: MDP. FP. PP - Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs. - Kevin Batz; Benjamin Lucien Kaminski; Christoph Matheja; Tobias Winkler 001 (Principles of Verification (1), 2024)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report). - Kevin Batz; Benjamin Lucien Kaminski; Christoph Matheja; Tobias Winkler 001 (CoRR, 2024)

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. - Kevin Batz; Tom Jannik Biskup; Joost-Pieter Katoen; Tobias Winkler 001 (Proc. ACM Program. Lang., 2024)

Quantifier Elimination and Craig Interpolation: The Quantitative Way. - Kevin Batz; Joost-Pieter Katoen; Nora Orhan (FoSSaCS, 2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back. - Kevin Batz; Joost-Pieter Katoen; Francesca Randone; Tobias Winkler 001 (Proc. ACM Program. Lang., 2025)

Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report). - Kevin Batz; Joost-Pieter Katoen; Nora Orhan (CoRR, 2025)