Scenic is a domain-specific probabilistic programming language for modeling the environments of cyber-physical systems.
BerkeleyLearnVerify/Scenic
latest