Air combat decision-making of multiple UCAVs based on constraint strategy games | Synapse