Optimal and least restrictive supervisory control: Safety verification methods for human-driven vehicles at traffic intersections