Kevin Batz

1. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
   2023/11/12 by Kevin Batz, Tom Jannik Biskup, Batz, Kevin +5 · 3 citations
   Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Statistical Methods in Clinical Trials