Prescribed-Time Backstepping Algorithms for Leader-Follower Multi-Agent Systems | IEEE Conference Publication | IEEE Xplore