Kevin Batz

Address
Room 4203
Ahornstraße 55
D-52074 Aachen

I have joined the University of Münster as a Juniorprofessor of Computer Science. You can find my website here.

Publications

2025
DOIKevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler. 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: cycling the probabilistic landscape, part 1 / nils jansen, sebastian junges, benjamin lucien kaminski, christoph matheja, thomas noll, tim quatmann, mariëlle stoelinga, matthias volk, editors, 255-302, Springer, 2025.
DOIKevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler. Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back, 95, ACM, 2025.
2024
DOIKevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs, 93, ACM, 2024.
DOIKevin Batz. Automated deductive verification of probabilistic programs, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024.
2023
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, 67, ACM, 2023.
DOIKevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants, Tools and algorithms for the construction and analysis of systems : 29th international conference, TACAS 2023, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, paris, france, april 22–27, 2023, proceedings, part II / edited by sriram sankaranarayanan, natasha sharygina, 410-429, Springer Nature Switzerland, 2023.
DOIPhilipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, 294, ACM, 2023.
DOIPhilipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), [1]-48, 2023.
2022
DOIKevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, Programming languages and systems : 31st european symposium on programming, ESOP 2022, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, munich, germany, april 2–7, 2022, proceedings / edited by ilya sergey, 57-84, Springer International Publishing, 2022.
DOIKevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming : a programming paradigm for specifying mathematical models, 66, ACM, 2022.
2021
DOILutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, Logic-based program synthesis and transformation : 30th international symposium, LOPSTR 2020, bologna, italy, september 7–9, 2020, proceedings / edited by maribel fernández, 231-248, Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.], 2021.
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning, 39, ACM, 2021.
DOIKevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed <span class="nocase">k</span>-Induction with an Application to Probabilistic Programs, Computer-aided verification : 33rd international conference, CAV 2021 : Virtual eventy july 20-23, 2021 : Proceedings / alexandra silva, alexandra and K. Rustan M. Leino (eds.). - Part II, 524-549, Springer, 2021.
2020
DOIKevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer. PrIC3: Property Directed Reachability for MDPs, 2020.
DOILutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020.
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020.
DOIKevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3: Property Directed Reachability for MDPs, Computer aided verification : 32nd international conference, CAV 2020, los angeles, CA, USA, july 21-24, 2020 : Proceedings, part II / shuvendu K. Lahiri, chao wang (eds), 512-538, Springer, 2020.
2019
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, 34, ACM, 2019.
2018
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times, Programming languages and systems : 27th european symposium on programming, ESOP 2018, held as part of the european joint conferences on theory and practice of software, ETAPS 2018, thessaloniki, greece, april 14-20, 2018, proceedings / edited by amal ahmed, 186-213, Springer, 2018.
DOIKevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs, 159 Seiten, 2018.