Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 03, 2021
Source ID
10.1109/dasc52595.2021.9594350

Entities

People

  • Airin Dutta
  • Ankita Bhaumik
  • Carlos A. Varela
  • Fotis Kopsaftopoulos

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation