A Constant-Time Algorithm for Checking Reachability of Arrival Times and Arrival Velocities of Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore