Optimal scheduling of autonomous vehicle arrivals at intelligent intersections via MILP | IEEE Conference Publication | IEEE Xplore