TY - RPRT TI - Scenic: A Language for Scenario Specification and Data Generation AU - Daniel J. Fremont AU - Edward Kim AU - Tommaso Dreossi AU - Shromona Ghosh AU - Xiangyu Yue AU - Alberto L. Sangiovanni-Vincentelli AU - Sanjit A. Seshia PY - 2020 UR - https://arxiv.org/abs/2010.06580 ID - 2010.06580 ER -