235 citations · 346 across the 15 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 14 cited
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…
cs.PL2018★ 235 cited
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…