Case study: Verifying the safety of an autonomous racing car with a neural network controller

January 19th, 2021