235 citations · 356 across the 13 of their papers we have counts for
1 paper · 1 filter
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…