Safety By Design In Adaptive Cruise Control Using Hamilton Jacobi Reachability Analysis