Traffic lane-changing modeling and scheduling with game theoretical strategy | IEEE Conference Publication | IEEE Xplore