Conflict-Free Navigation Optimization at Unsignalized Intersections Using Mixed-Integer Linear Programming for Connected and Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore