Hugo Boronat

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Vehicle Navigation

Top Venues

Publications

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. NAFIPS (2020)