Dynamic formations in real-time strategy games | IEEE Conference Publication | IEEE Xplore