3D Environment Modeling for Falsification and Beyond with Scenic 3.0 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 253-265, Springer, 2023. [doi]

This author has not been identified. Look up 'Eric Vin' in GoogleThis author has not been identified. Look up 'Shun Kashiwa' in GoogleThis author has not been identified. Look up 'Matthew Rhea' in GoogleThis author has not been identified. Look up 'Daniel J. Fremont' in GoogleThis author has not been identified. Look up 'Edward Kim' in GoogleThis author has not been identified. Look up 'Tommaso Dreossi' in GoogleThis author has not been identified. Look up 'Shromona Ghosh' in GoogleThis author has not been identified. Look up 'Xiangyu Yue' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL