Folgen
Kevin Batz
Kevin Batz
Bestätigte E-Mail-Adresse bei rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
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
42*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
262018
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), 2021
15*2021
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
82020
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
72021
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
5*2022
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
12022
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
12021
A Calculus for Amortized Expected Runtimes
K Batz, BL Kaminski, JP Katoen, C Matheja, L Verscht
arXiv preprint arXiv:2211.12923, 2022
2022
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja
arXiv preprint arXiv:2205.06152, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10