Kevin Batz

Available identifiers

zbMath Open batz.kevinMaRDI QIDQ832284

List of research outcomes

Publication	Date of Publication	Type
Probabilistic program verification via inductive synthesis of inductive invariants	2024-04-05	Paper
Foundations for entailment checking in quantitative separation logic	2023-08-03	Paper
Latticed \(k\)-induction with an application to probabilistic programs	2022-03-25	Paper
Generating functions for probabilistic programs	2022-03-23	Paper
\textsf{PrIC3}: property directed reachability for MDPs	2021-02-09	Paper
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times	2019-09-13	Paper

Research outcomes over time

This page was built for person: Kevin Batz