Safe Stop Trajectory Planning for Highly Automated Vehicles: An Optimal Control Problem Formulation | IEEE Conference Publication | IEEE Xplore