Distributed Model Predictive Formation Control with Gait Synchronization for Multiple Quadruped Robots | IEEE Conference Publication | IEEE Xplore