Kevin Batz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantifier elimination and Craig interpolation: the quantitative way | 2025-12-04 | Paper |
| Probabilistic program verification via inductive synthesis of inductive invariants | 2024-04-05 | Paper |
| Foundations for entailment checking in quantitative separation logic Programming Languages and Systems | 2023-08-03 | Paper |
| Latticed \(k\)-induction with an application to probabilistic programs (available as arXiv preprint) | 2022-03-25 | Paper |
| Generating functions for probabilistic programs (available as arXiv preprint) | 2022-03-23 | Paper |
| \textsf{PrIC3}: property directed reachability for MDPs (available as arXiv preprint) | 2021-02-09 | Paper |
| How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times (available as arXiv preprint) | 2019-09-13 | Paper |
Research outcomes over time
This page was built for person: Kevin Batz
