Prescribed-Time Formation Tracking of Heterogeneous Multi-Agent Systems With Model Uncertainty | Synapse