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.