Login / Signup
Matthew Rhea
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Physical World
Information Technology
Simulation Environment
Multiscale
Top Venues
CoRR
CAV (1)
</>
Publications
</>
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.
CoRR
(2023)
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.
CAV (1)
(2023)