Time-varying Multi-robotic Fish Formation Tracking Using Distributed Nonlinear Model Predictive Control | IEEE Conference Publication | IEEE Xplore