Kevin Batz

33 papers A 2B 1C 1Journal 24Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version).
CoRR
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2026 — conf
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops.
ESOP (1)
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
CoRR
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
Proc. ACM Program. Lang.
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025 J jnl
Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report).
CoRR
Kevin Batz, Joost-Pieter Katoen, Nora Orhan
2025 B conf
Quantifier Elimination and Craig Interpolation: The Quantitative Way.
FoSSaCS
Kevin Batz, Joost-Pieter Katoen, Nora Orhan
2025 J jnl
Verifying Sampling Algorithms via Distributional Invariants.
CoRR
Kevin Batz, Joost-Pieter Katoen, Tobias Winkler, Daniel Zilken
2024 — conf
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.
Principles of Verification (1)
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler
2024 J jnl
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).
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler
2024 J jnl
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
Proc. ACM Program. Lang.
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2023 J jnl
A Calculus for Amortized Expected Runtimes.
Proc. ACM Program. Lang.
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
2023 J jnl
A Deductive Verification Infrastructure for Probabilistic Programs.
CoRR
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023 J jnl
A Deductive Verification Infrastructure for Probabilistic Programs.
Proc. ACM Program. Lang.
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023 — conf
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
TACAS (2)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023 J jnl
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
CoRR
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2022 J jnl
A Calculus for Amortized Expected Runtimes.
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
2022 J jnl
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
CoRR
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
2022 A conf
Foundations for Entailment Checking in Quantitative Separation Logic.
ESOP
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
2022 J jnl
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
CoRR
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2022 J jnl
Weighted Programming.
CoRR
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2022 J jnl
Weighted programming: a programming paradigm for specifying mathematical models.
Proc. ACM Program. Lang.
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2021 — conf
Latticed k-Induction with an Application to Probabilistic Programs.
CAV (2)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021 J jnl
Latticed k-Induction with an Application to Probabilistic Programs.
CoRR
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021 J jnl
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning.
Proc. ACM Program. Lang.
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2020 C conf
Generating Functions for Probabilistic Programs.
LOPSTR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 J jnl
Generating Functions for Probabilistic Programs.
CoRR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 — conf
PrIC3: Property Directed Reachability for MDPs.
CAV (2)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 J jnl
PrIC3: Property Directed Reachability for MDPs.
CoRR
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 J jnl
Relatively Complete Verification of Probabilistic Programs.
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2019 J jnl
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.
Proc. ACM Program. Lang.
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
2018 A conf
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times.
ESOP
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2018 J jnl
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times.
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2018 J jnl
Quantitative Separation Logic.
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll