A mathematical framework for cooperative collision avoidance of human-driven vehicles at intersections | IEEE Conference Publication | IEEE Xplore