Multi-agent formation control with obstacle avoidance based on receding horizon strategy | IEEE Conference Publication | IEEE Xplore