Accommodating Obstacle Avoidance in the Weapons Allocation Problem for Tactical Air Defence | IEEE Conference Publication | IEEE Xplore