Fully Adaptive Practical Time-Varying Output Formation Tracking for High-Order Nonlinear Stochastic Multiagent System With Multiple Leaders | IEEE Journals & Magazine | IEEE Xplore