Safety Verification Methods for Human-Driven Vehicles at Traffic Intersections: Optimal Driver-Adaptive Supervisory Control | IEEE Journals & Magazine | IEEE Xplore