A differential game approach to formation control for a team of agents with one leader | IEEE Conference Publication | IEEE Xplore