This repository contains benchmarks for verification of the racetrack controller. Individual branches contain controllers for the specific map with modifications to make them amenable to a tightly bound continuous hybrid verification process without changing any functionality.
A collection of controllers for the Racetrack game
$ make$ ./bin/racetrack-controllers