Exact Obstacle Avoidance for Autonomous Vehicles in Polygonal Domains - Fan, Jiayu; Murgovski, Nikolce; Liang, Jun; Elawad, Amal (IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2024)