BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
271 stars 93 forks source link

Scenario generation #104

Closed arjunsk07 closed 1 year ago

arjunsk07 commented 1 year ago

Hello @dfremont , Is there any document that tells how to use the scenario compiler? I need to generate some concrete scenarios for the testing with CARLA? Is it possible to generate some concrete scenic scenarios with this compiler?

dfremont commented 1 year ago

Hello @arjunsk07, you can find Scenic's documentation here. The "Getting Started with Scenic" and "Scenic Tutorial" pages show how to use the Scenic command-line tool to compile Scenic programs and generate concrete scenarios. The "Dynamic Scenarios" tutorial ends with an example of how to run the generated scenarios in CARLA (you'll first need to get CARLA set up for Scenic following the instructions here). Feel free to reopen this issue if you have any problems that you can't find solutions for in the documentation.