Probabilistic

Model distributions of physical environments with multiple objects and agents.

Spatial/Temporal

Model spatial and temporal constraints over the distributions of environments.

Formal

With a supporting toolkit, VerifAI, specify and verify system / component properties over the distributions of scenarios.

Wide Range of Applications

Proven use cases across multiple domains. We currently support several simulators by default in Scenic. If you have a new domain interface, let us know!

Driving

Give description and show code of either carla, driving domain, or gta simulator.

Aviation

Give description and show code of x-plane simulator.

Robotics

Give description and show code of webots or gazebo simulator.

Extended Reality and Games

Give description and show code of unity simulator.

Relevant Papers & Talks

Scenic is supported by

National Science Foundation DARPA Berkeley Deep Drive iCyPhy