Formal Verification of a Genetic Fuzzy System for Unmanned Aerial Vehicle Navigation and Target Capture in a Safety Corridor. - Timothy Arnett; Nicholas Ernest; Brandon Kunkel; Hugo Boronat (NAFIPS, 2020)