Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Natasha Neogi (Langley Research Center Hampton, Virginia, United States) Date Acquired
May 20, 2022
Subject Category
Air Transportation And Safety Meeting Information
Meeting: Workshop on Safe and Reliable Robot Autonomy under Uncertainty
Location: Philadelphia, PA
Country: US
Start Date: May 27, 2022
End Date: May 27, 2022
Sponsors: IEEE Computer Society
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
System SafetyModel Checking