Practical time-varying output formation tracking for high-order nonlinear strict-feedback multi-agent systems with control gap using adaptive neural networks | IEEE Conference Publication | IEEE Xplore