Gregersen, Simon Oddershede
- Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025/03/06 by Kwing Hei Li, Alejandro Aguirre, Li, Kwing Hei +9 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Scientific Computing and Data Management