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
24*2019
How long, O Bayesian network, will I sample thee?
K Batz, BL Kaminski, JP Katoen, C Matheja
European Symposium on Programming, 186-213, 2018
182018
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
32021
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
32020
Latticed -Induction with an Application to Probabilistic Programs
K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer
arXiv preprint arXiv:2105.14100, 2021
2021
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
2021
The system can't perform the operation now. Try again later.
Articles 1–6