Credits
If you use Scenic, we request that you cite our CAV 2023 paper, our 2022 journal paper, and/or our original PLDI 2019 paper.
Scenic is primarily maintained by Daniel J. Fremont.
The Scenic project was started at UC Berkeley in Sanjit Seshia’s research group.
The language was initially developed by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
Edward Kim assisted in developing the library for dynamic driving scenarios and putting together this documentation.
Eric Vin, Matthew Rhea, and Ellen Kalvan developed Scenic’s support for 3D geometry. Shun Kashiwa developed the auto-generated parser for Scenic 3.0 and its support for temporal requirements.
The Scenic tool and example scenarios have benefitted from additional code contributions from:
Johnathan Chiu
Greg Crow
Francis Indaheng
Martin Jansa (LG Electronics, Inc.)
Abolfazl Karimi
Kevin Li
Guillermo López
Shalin Mehta
Joel Moriana
Gaurav Rao
Ameesh Shah
Jay Shenoy
Mirco Theile
Kesav Viswanadha
Qiancheng Wu
Wilson Wu
Finally, many other people provided helpful advice and discussions, including:
Ankush Desai
Alastair Donaldson
Andrew Gordon
Steve Lemke
Dejan Nickovic
Jonathan Ragan-Kelley
Sriram Rajamani
German Ros
Marcell Vazquez-Chanlatte
everyone who has reported bugs at our GitHub repository.