Scenic is a domain-specific probabilistic programming language for modeling the environments of cyber-physical systems.
BerkeleyLearnVerify/Scenic
a970e8eb
aa9734bf
82fecaa2
cf6c40e4
1ae020a5
ffd0bc40
3dee3824