A Barrier-Certified Optimal Coordination Framework for Connected and Automated Vehicles | IEEE Conference Publication | IEEE Xplore