Tactical Decision Making for Cooperative Vehicles Using Reachable Sets | IEEE Conference Publication | IEEE Xplore