Safety-Critical Coordination of Legged Robots via Layered Controllers and Forward Reachable Set based Control Barrier Functions | IEEE Conference Publication | IEEE Xplore