Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Suda Bharadwaj (The University of Texas at Austin Austin, Texas, United States) Steven Carr (The University of Texas at Austin Austin, Texas, United States) Natasha Neogi (National Institute of Aerospace Hampton, Virginia, United States) Hasan Poonawala (University of Kentucky Lexington, Kentucky, United States) Alejandro Barberia Chueca (The University of Texas at Austin Austin, Texas, United States) Ufuk Topcu (The University of Texas at Austin Austin, Texas, United States) Date Acquired
May 8, 2020
Subject Category
Cybernetics, Artificial Intelligence And Robotics Report/Patent Number
NF1676L-33093Report Number: NF1676L-33093 Meeting Information
Meeting: 11th NASA Formal Methods 2019
Location: Houston, TX
Country: US
Start Date: May 7, 2019
End Date: May 9, 2019
Sponsors: National Aeronautics and Space Administration
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.