A Distributed Autonomous System for Multi-UAVs With Limited Visualization: Employing Dual-Horizon NMPC Controller | IEEE Journals & Magazine | IEEE Xplore