-
Transforming Probabilistic Programs for Model Checking
Probabilistic programming is perfectly suited to reliable and transparen...
read it
-
Static Analysis for Probabilistic Programs
Probabilistic programming is a powerful abstraction for statistical mach...
read it

Ryan Bernstein
is this you? claim profile