Acquisition Source
Langley Research Center
Document Type
Technical Memorandum (TM)
Authors
J Tanner Slagel (Langley Research Center Hampton, United States) Sarah M Lehman (Langley Research Center Hampton, United States) David Wagner (Langley Research Center Hampton, United States) Josh Fody (Langley Research Center Hampton, United States) Kyle Smalling (Langley Research Center Hampton, United States) John V Siratt (Langley Research Center Hampton, United States) Aaron Dutle (Langley Research Center Hampton, United States) Nelson Brown (Armstrong Flight Research Center Edwards, United States) Ricardo Arteaga (Armstrong Flight Research Center Edwards, United States) Massimo Vespignani (KBR (United States) Houston, United States) Sungshik Yim (Analytical Mechanics Associates (United States) Hampton, United States) Jack Fortner-Monegan (Glenn Research Center Cleveland, United States) Brandon Ruffridge (Glenn Research Center Cleveland, United States) Adharsh Kandula (Northeastern University Boston, United States) Kyler Shu (Stanford University Stanford, United States) Garrett Wright (Virginia Polytechnic Inst. and State University Blacksburg, VA, United States) Owenn Herrmann (Iowa State University Ames, United States) Date Acquired
September 16, 2025
Publication Date
November 1, 2025
Publication Information
Publisher: National Aeronautics and Space Administration
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
runtime assuranceformal methodsAerial AIddrone-as-a-first-responserartificial intelligencemachine learningcomputer vision