Benjamin Lucien Kaminski
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- A New Proof Rule for Almost-Sure Termination
2017/11/09 by Annabelle McIver, McIver, Annabelle, Carroll Morgan +5 · 9 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
2018/08/29 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja +1 · 9 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Complexity and Algorithms in Graphs
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic\n Programs
2016/01/05 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Kaminski, Benjamin Lucien +5 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Reasoning about Recursive Probabilistic Programs
2016/03/09 by Federico Olmedo, Benjamin Lucien Kaminski, Olmedo, Federico +5 · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- Conditioning in Probabilistic Programming
2018/01/03 by Federico Olmedo, Friedrich Gretz, Nils Jansen +4 · 3 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Conditioning in Probabilistic Programming
2015/04/01 by Friedrich Gretz, Gretz, Friedrich, Nils Jansen +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- On the Hardness of Almost-Sure Termination
2015/06/05 by Benjamin Lucien Kaminski, Kaminski, Benjamin Lucien, Joost-Pieter Katoen +1 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Bayesian Modeling and Causal Inference #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #F.1.2 #F.1.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)