Supplementary Material for Paper "Formally Verifying a Behavior Planner: Balancing Efficiency and Precision"

Contains the full experimental data accompanying the paper "Formally Verifying a Behavior Planner: Balancing Efficiency and Precision" which has been submitted to the IEEE Transactions on Intelligent Vehicles. Each zip file belongs to one of the main sets of experiments. To reproduce some of the results, check out our award-winning artifact. If you want to reproduce all experiments, see the sources or contribute to our research, go to our open source project or contact [email protected].