NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Monitoring ICAROUS: From Requirements to Autonomous Flight
Document ID
20205011620
Acquisition Source
Langley Research Center
Document Type
Video
Authors
Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States)
Esther Conrad (Langley Research Center Hampton, Virginia, United States)
Aaron Dutle (Langley Research Center Hampton, Virginia, United States)
Dimitra Giannakopoulou (Ames Research Center Mountain View, California, United States)
Alwyn Goodloe (Langley Research Center Hampton, Virginia, United States)
Anastasia Mavridou (KBR (United States) Houston, Texas, United States)
Cesar Munoz (Langley Research Center Hampton, Virginia, United States)
Ivan Perez (National Institute of Aerospace Hampton, Virginia, United States)
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Thomas Theo Pressburger (Ames Research Center Mountain View, California, United States)
Date Acquired
December 16, 2020
Publication Date
December 7, 2020
Subject Category
Computer Programming And Software
Funding Number(s)
WBS: 340428.20.07.01
Distribution Limits
Public
Copyright
Public Use Permitted.
Keywords
formal methods
autonomous systems
requirements elicitation
runtime verification
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

IDRelationTitle20205010646See AlsoMonitoring ICAROUS: From Requirements to Autonomous Flight
No Preview Available