Formally Robust and Safe Trajectory Planning and Tracking for Autonomous Vehicles | IEEE Journals & Magazine | IEEE Xplore