TY - RPRT TI - Scenic: A Language for Scenario Specification and Scene Generation AU - Daniel J. Fremont AU - Tommaso Dreossi AU - Shromona Ghosh AU - Xiangyu Yue AU - Alberto L. Sangiovanni-Vincentelli AU - Sanjit A. Seshia PY - 2019 DO - 10.1145/3314221.3314633 UR - https://arxiv.org/abs/1809.09310 ID - 1809.09310 ER -