Scenic is a domain-specific probabilistic programming language for modeling the environments of cyber-physical systems like robots and autonomous cars. A Scenic program defines a distribution over scenes, configurations of physical objects and agents; sampling from this distribution yields concrete scenes which can be simulated to produce training or testing data. Scenic can also define (probabilistic) policies for dynamic agents, allowing modeling scenarios where agents take actions over time in response to the state of the world.


Example Scenario Generated by Scenic
                                                Example Scenario Generated by Scenic



This work is supported in part by the  DARPA Assured Autonomy  program.


University of California, Berkeley, California, USA


Daniel J. Fremont

Edward Kim

Tommaso Dreossi

Shromona Ghosh

Xiangyu Yue

Alberto L. Sangiovanni-Vincentelli

Sanjit A. Seshia