Optimum Modeling and Computation for Lane-Based Route Choice | IEEE Conference Publication | IEEE Xplore