search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
271 stars 93 forks source link

Fixed RectangularRegion Sampling w/ non-zero Z #185

Closed Eric-Vin closed 11 months ago