235 citations · 356 across the 13 of their papers we have counts for
3 papers · 1 filter
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
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…
Scenic: A Language for Scenario Specification and Data Generation
Daniel J. Fremont, Edward Kim, Tommaso Dreossi +4
We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. Specifically, we consider the…
Scenic: A Language for Scenario Specification and Scene Generation
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh +3
We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the pro…