TY  - RPRT
TI  - 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
AU  - Eric Vin
AU  - Shun Kashiwa
AU  - Matthew Rhea
AU  - Daniel J. Fremont
AU  - Edward Kim
AU  - Tommaso Dreossi
AU  - Shromona Ghosh
AU  - Xiangyu Yue
AU  - Alberto L. Sangiovanni-Vincentelli
AU  - Sanjit A. Seshia
PY  - 2023
UR  - https://arxiv.org/abs/2307.03325
ID  - 2307.03325
ER  -