README.md

AERE/COMS 407X/507X Final Project

Overview

Contains a pdf report of the project and all necessary nuXMV codes used in the project.
The behavior of an autonomous car when faced with real life obstacles is tested using a compositional model checking approach.