Text this: Deep Reinforcement Learning in Multi-UAV Air Combat Maneuver Decision-Making: A Review of Key Techniques in Practice and Future Prospects