Safety-Critical Optimal Control In Autonomous Traffic Systems