publication venue for Adaptive Signalized Intersection Control in Mixed Traffic Environment of Connected Vehicles with Safety Guarantees