Optimal Control of Automated Vehicles for Autonomous Intersection Management With Design Specifications