Kevin Batz
Kevin Batz
Verified email at rwth-aachen.de
Title
Cited by
Cited by
Year
How long, O Bayesian network, will I sample thee?
K Batz, BL Kaminski, JP Katoen, C Matheja
European Symposium on Programming, 186-213, 2018
152018
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
13*2019
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
arXiv preprint arXiv:2007.06327, 2020
2020
PrIC3: Property Directed Reachability for MDPs
K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer
arXiv preprint arXiv:2004.14835, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–4