Safety Verification of Autonomous Vehicle Trajectories