COALITION: CAVs-enabled Probabilistic Offloading of Congested Lanes for Reduced Urban Traffic Congestion.