Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2023 · Lecture notes in computer science · 27 citations
https://doi.org/10.1007/978-3-031-30820-8_25
B
Benjamin Lucien Kaminski
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
81
Papers
1.2K
Citations
19
h-index
29
i10-index
Benjamin Lucien Kaminski is an academic researcher from University College London. The author has contributed to research in topics: Formal Methods in Verification & Logic, Reasoning, and Knowledge & Logic, programming, and type systems. The author has an h-index of 19, co-authored 69 publications.
ORCID: 0000-0001-5185-2324Papers by this author
worksMucoepidermoid carcinoma of the thymus incidentally diagnosed following two-years of non-productive cough
2021 · Radiology Case Reports · 1 citations
https://doi.org/10.1016/j.radcr.2021.05.006
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
2025 · RWTH Publications (RWTH Aachen) · 0 citations
https://doi.org/10.18154/rwth-2026-01870
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
2026 · arXiv (Cornell University) · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat