Reachability analysis for managing platoons at intersections | IEEE Conference Publication | IEEE Xplore