%0 Conference Paper %1 conf/cav/VinKRFKDGYSS23 %A Vin, Eric %A Kashiwa, Shun %A Rhea, Matthew %A Fremont, Daniel J. %A Kim, Edward %A Dreossi, Tommaso %A Ghosh, Shromona %A Yue, Xiangyu %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B CAV (1) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 253-265 %T 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#VinKRFKDGYSS23 %V 13964 %@ 978-3-031-37706-8

@inproceedings{conf/cav/VinKRFKDGYSS23, added-at = {2023-10-26T00:00:00.000+0200}, author = {Vin, Eric and Kashiwa, Shun and Rhea, Matthew and Fremont, Daniel J. and Kim, Edward and Dreossi, Tommaso and Ghosh, Shromona and Yue, Xiangyu and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/29f8e7c554f5630e3f5295fb41691bfa1/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2023-1}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37706-8_13}, interhash = {91f6d6e5a7711fb912517155d15804e7}, intrahash = {9f8e7c554f5630e3f5295fb41691bfa1}, isbn = {978-3-031-37706-8}, keywords = {dblp}, pages = {253-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {3D Environment Modeling for Falsification and Beyond with Scenic 3.0.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#VinKRFKDGYSS23}, volume = 13964, year = 2023 }