Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations | IEEE Conference Publication | IEEE Xplore