Mixed-Integer Linear Programming for Optimal Scheduling of Autonomous Vehicle Intersection Crossing | IEEE Journals & Magazine | IEEE Xplore