Exact Formulation and Comparison Between the User Optimum and System Optimum Solution for Routing Privately Owned Automated Vehicles | IEEE Journals & Magazine | IEEE Xplore