Distributed game strategy design with application to multi-agent formation control | IEEE Conference Publication | IEEE Xplore