@inproceedings{bib:Ty19Constant,
    Author = {Ty Nguyen and Tsz-Chiu Au},
    Booktitle = {IEEE Intelligent Vehicles Symposium},
    Title = {A Constant-Time Algorithm for Checking Reachability of Arrival Times and Arrival Velocities of Autonomous Vehicles},
    Year = {2019},
}