Timothy Arnett, Nicholas Ernest, Brandon Kunkel, Hugo Boronat. Formal Verification of a Genetic Fuzzy System for Unmanned Aerial Vehicle Navigation and Target Capture in a Safety Corridor. In Barnabás Bede, Martine Ceberio, Martine De Cock, Vladik Kreinovich, editors, Fuzzy Information Processing 2020 - Proceedings of the 2020 Annual Conference of the North American Fuzzy Information Processing Society, NAFIPS 2020, Redmond, WA, USA, 20-22 August 2020. Volume 1337 of Advances in Intelligent Systems and Computing, pages 361-372, Springer, 2020. [doi]
Abstract is missing.