Saturated control of time-varying formations and trajectory tracking for unicycle multi-agent systems | IEEE Conference Publication | IEEE Xplore