Control Improvisation for Cyber-Physical Systems

Explanation of Demonstration: Scenic is a new domain-specific probabilistic programming language for specifying the environment of a cyber-physical system. Scenic can be used to describe scenarios of interest and automatically generate realistic data from them for testing or training purposes. We will demonstrate how to use Scenic to generate images of traffic scenarios to improve the performance of an object-recognition neural network for autonomous driving.