Follow
Kevin Batz
Kevin Batz
Verified email at rwth-aachen.de
Title
Cited by
Cited by
Year
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
K Batz, BL Kaminski, JP Katoen, C Matheja, T Noll
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
722019
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
K Batz, BL Kaminski, JP Katoen, C Matheja
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
372018
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning
K Batz, BL Kaminski, JP Katoen, C Matheja
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
302021
A calculus for amortized expected runtimes
K Batz, BL Kaminski, JP Katoen, C Matheja, L Verscht
Proceedings of the ACM on Programming Languages 7 (POPL), 1957-1986, 2023
282023
Probabilistic program verification via inductive synthesis of inductive invariants
K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja
International Conference on Tools and Algorithms for the Construction and …, 2023
272023
Latticed k-Induction with an Application to Probabilistic Programs
K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer
International Conference on Computer Aided Verification, 524-549, 2021
252021
PrIC3: Property Directed Reachability for MDPs
K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer
International Conference on Computer Aided Verification (CAV), 512-538, 2020
24*2020
Weighted programming: a programming paradigm for specifying mathematical models
K Batz, A Gallus, BL Kaminski, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
202022
A Deductive Verification Infrastructure for Probabilistic Programs
P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023
19*2023
Foundations for entailment checking in quantitative separation logic
K Batz, I Fesefeldt, M Jansen, JP Katoen, F Keßler, C Matheja, T Noll
European Symposium on Programming, 57-84, 2022
14*2022
Programmatic strategy synthesis: Resolving nondeterminism in probabilistic programs
K Batz, TJ Biskup, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 8 (POPL), 2792-2820, 2024
102024
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
92021
JP: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs
K Batz, BL Kaminski, C Matheja, T Winkler
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
2024
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
P SCHRÖER, K BATZ, BL KAMINSKI, JP KATOEN, C MATHEJA
arXiv preprint arXiv:2309.07781, 2023
2023
Latticed Craig Interpolation with an Application to Probabilistic Verification
M Yang, K Batz, M Chen, JP Katoen, Z Wu, J Yin
The system can't perform the operation now. Try again later.
Articles 1–15