Loading paper
A Barrier-Certified Optimal Coordination Framework for Connected and Automated Vehicles | Tomesphere