Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions. - Ashik Abrar Naeem; Mohammad Ariful Haque (CoRR, 2026)