Distributed virtual leader moving formation control using behavior-based MPC | IEEE Conference Publication | IEEE Xplore