Formally reasoning about autonomous vehicle behavior planning with Imandra - View it on GitHub