This repository contains the repeatability package for the paper titled "Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller", submitted to HSCC '20.
Detailed description of all components is provided in documentation.pdf.