activity
20172023
most citedSystematic Testing of Convolutional Neural Networks for Autonomous Driving

34 citations · 86 across the 12 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2020

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

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…