Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis | IEEE Conference Publication | IEEE Xplore