8 citations · 9 across the 4 of their papers we have counts for
1 paper · 2 filters
Eric Vin, Shun Kashiwa, Matthew Rhea +7
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully…