Formal Verification of a Genetic Fuzzy System for Unmanned Aerial Vehicle Navigation and Target Capture in a Safety Corridor.