Benjamin Lucien Kaminski
University College London
H-index: 18
Europe-United Kingdom
Top articles of Benjamin Lucien Kaminski
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants | Kevin Batz Mingshuai Chen Sebastian Junges Benjamin Lucien Kaminski Joost-Pieter Katoen | 2023 | |
Lower Bounds for Possibly Divergent Probabilistic Programs | Proceedings of the ACM on Programming Languages | Shenghua Feng Mingshuai Chen Han Su Benjamin Lucien Kaminski Joost-Pieter Katoen | 2023/4/6 |
A Calculus for Amortized Expected Runtimes | Proceedings of the ACM on Programming Languages | Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja Lena Verscht | 2023/1/9 |
Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond | arXiv preprint arXiv:2312.09662 | Lena Verscht Benjamin Kaminski | 2023/12/15 |
A Deductive Verification Infrastructure for Probabilistic Programs | Proceedings of the ACM on Programming Languages | Philipp Schröer Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja | 2023/10/16 |
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions | arXiv preprint arXiv:2308.09536 | Akihisa Yamada Benjamin Lucien Kaminski Dieter Hofbauer Fred Mesnard Étienne Payet | 2023/8/15 |
Weighted Programming: A Programming Paradigm for Specifying Mathematical Models | Proceedings of the ACM on Programming Languages | Kevin Batz Adrian Gallus Benjamin Lucien Kaminski Joost-Pieter Katoen Tobias Winkler | 2022/4/29 |
Quantitative Strongest Post: A Calculus for Reasoning about the Flow of Quantitative Information | Proceedings of the ACM on Programming Languages | Linpeng Zhang Benjamin Lucien Kaminski | 2022/4/29 |
Latticed k-Induction with an Application to Probabilistic Programs | Kevin Batz Mingshuai Chen Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja | 2021/7/20 | |
Probabilistic data with continuous distributions | ACM SIGMOD Record | Martin Grohe Benjamin Lucien Kaminski Joost-Pieter Katoen Peter Lindner | 2021/6/17 |
A Pre-expectation Calculus for Probabilistic Sensitivity | Proceedings of the ACM on Programming Languages | Alejandro Aguirre Gilles Barthe Justin Hsu Benjamin Lucien Kaminski Joost-Pieter Katoen | 2021/1/4 |
Relatively Complete Verification of Probabilistic Programs: An Expressive Language for Expectation-based Reasoning | Proceedings of the ACM on Programming Languages | Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja | 2021/1/4 |
Generating Functions for Probabilistic Programs | Lutz Klinkenberg Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Joshua Moerman | 2020/9 | |
Aiming low is harder: Induction for Lower Bounds in Probabilistic Program Verification | Proceedings of the ACM on Programming Languages | Marcel Hark Benjamin Lucien Kaminski Jürgen Giesl Joost-Pieter Katoen | 2020 |
PrIC3: Property Directed Reachability for MDPs | Kevin Batz Sebastian Junges Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja | 2020/7/21 | |
Optimistic Value Iteration | Arnd Hartmanns Benjamin Lucien Kaminski | 2020/7/21 | |
Generative Datalog with Continuous Distributions | Martin Grohe Benjamin Lucien Kaminski Joost-Pieter Katoen Peter Lindner | 2020/6/14 | |
Expected Runtime Analysis by Program Verification | Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja | 2020/12/3 | |
Erweiterte Verifikationskalküle für Probabilistische Programme | Benjamin Kaminski | 2020 | |
Verifying Probabilistic Programs | Benjamin Kaminski Joost-Pieter Katoen | 2020/11/3 |