Federico Olmedo
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
2018/08/29 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja +1 · 8 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 · 3 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
- Conditioning in Probabilistic Programming
2015/04/01 by Friedrich Gretz, Nils Jansen, Gretz, Friedrich +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
- Reasoning about Recursive Probabilistic Programs
2016/03/09 by Federico Olmedo, Olmedo, Federico, Benjamin Lucien Kaminski +5 · 3 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 · 2 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems