Overview

In this page, we provide an overview of the documentation. To explore ScenicRules, you can start by installing it and the dependencies. The detailed instructions can be found in the Installation section. Then, you can follow the Tutorial section to get a quick start on how to use ScenicRules.

Then, we provide the details of the internal components of ScenicRules. In Preprocessing of Simulation Results, we describe how to preprocess the simulation results to extract the necessary information for evaluation. In Rules, we describe how to define and evaluate rules. In Rulebooks, we describe how to define and evaluate Rulebook specifications. In Scenarios, we describe how we collect and generate autonomous driving scenarios via Scenic.

Finally, we provide two usage examples of ScenicRules. The first one is a falsification pipeline that allows users to test their driving systems against the Rulebook specifications using Scenic programs. The second one describes how to compare Rulebook specifications against human preferences.