Publications Using Scenic
Main Papers
The main paper on Scenic, describing the language (as of version 2) and its applications is:
Scenic: A Language for Scenario Specification and Data Generation.Fremont, Kim, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia.Machine Learning, 2022. [available here](see also the full version with appendices)
For the new features in Scenic 3, see the paper:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.Vin, Kashiwa, Rhea, Fremont, Kim, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia.CAV 2023. [arXiv version]
Our main 2022 journal paper extends the earlier conference paper on Scenic 1.0:
Scenic: A Language for Scenario Specification and Scene Generation.Fremont, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia.PLDI 2019. [full version]
An expanded version of that paper appeared as Chapters 5 and 8 of this thesis:
Algorithmic Improvisation. [thesis]Daniel J. Fremont.Ph.D. dissertation, 2019 (University of California, Berkeley; Group in Logic and the Methodology of Science).
Scenic is also integrated into the VerifAI toolkit, which is described in another paper:
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.Dreossi*, Fremont*, Ghosh*, Kim, Ravanbakhsh, Vazquez-Chanlatte, and Seshia.
* Equal contribution.
Case Studies
We have also used Scenic in several industrial case studies:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI.Viswanadha, Indaheng, Wong, Kim, Kalvan, Pant, Fremont, and Seshia.Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.Fremont, Chiu, Margineantu, Osipychev, and Seshia.Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.Fremont, Kim, Pant, Seshia, Acharya, Bruso, Wells, Lemke, Lu, and Mehta.[See also this white paper and associated blog post]
Other Papers Building on Scenic
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.Kim, Shenoy, Junges, Fremont, Sangiovanni-Vincentelli, and Seshia.Parallel and Multi-objective Falsification with Scenic and VerifAI.Viswanadha, Kim, Indaheng, Fremont, and Seshia.A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.Kim, Gopinath, Pasareanu, and Seshia.