@article{scenicalanguageforscenariospecification,
  title = {Scenic: A Language for Scenario Specification and Data Generation},
  author = {Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2020},
  eprint = {2010.06580},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2010.06580v1},
}