Optimal Coordination of Automated Vehicles at Intersections: Theory and Experiments | IEEE Journals & Magazine | IEEE Xplore