Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions | IEEE Conference Publication | IEEE Xplore