Research of air defense target assignment for warship formation based on MAS | IEEE Conference Publication | IEEE Xplore