Login / Signup
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
Eric Vin
Shun Kashiwa
Matthew Rhea
Daniel J. Fremont
Edward Kim
Tommaso Dreossi
Shromona Ghosh
Xiangyu Yue
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
CAV (1) (2023)
Keyphrases
</>
real time
information technology
computer vision
test bed
databases
decision trees
real world
image processing
website
digital libraries
expert systems
autonomous agents
computing environments
learning community
physical world