Socially-Optimal Auction-Theoretic Intersection Management System | IEEE Conference Publication | IEEE Xplore