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](installation.rst) section. Then, you can follow the [Tutorial](tutorial.md) 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](preprocessing.md), we describe how to preprocess the simulation results to extract the necessary information for evaluation. In [Rules](rules.md), we describe how to define and evaluate rules. In [Rulebooks](rulebook.md), we describe how to define and evaluate Rulebook specifications. In [Scenarios](scenarios.rst), 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](falsification.md) 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](evaluation_human.md).