Benjamin Lucien Kaminski

Available identifiers

Publication	Date of Publication	Type
Generative Datalog with continuous distributions	2024-06-06	Paper
Probabilistic program verification via inductive synthesis of inductive invariants	2024-04-05	Paper
Rule-based conditioning of probabilistic data	2023-07-28	Paper
Lower Bounds for Possibly Divergent Probabilistic Programs	2023-02-12	Paper
Latticed \(k\)-induction with an application to probabilistic programs	2022-03-25	Paper
Generating functions for probabilistic programs	2022-03-23	Paper
Expected Runtime Analyis by Program Verification	2021-02-16	Paper
Optimistic value iteration	2021-02-09	Paper
\textsf{PrIC3}: property directed reachability for MDPs	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5144701	2021-01-19	Paper
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times	2019-09-13	Paper
On the hardness of analyzing probabilistic programs	2019-03-21	Paper
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms	2019-02-25	Paper
Bounded model checking for probabilistic programs	2018-10-25	Paper
Reasoning about Recursive Probabilistic Programs	2018-04-23	Paper
Inferring covariances for probabilistic programs	2018-01-11	Paper
Conditioning in probabilistic programming	2016-12-16	Paper
Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs	2016-04-26	Paper
Understanding Probabilistic Programs	2015-11-04	Paper
On the Hardness of Almost–Sure Termination	2015-09-16	Paper

This page was built for person: Benjamin Lucien Kaminski