Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: HRL LABORATORIES, LLC
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2018-05-01 to 2023-01-31
Current total value of award: $9961662
Description: AA-EXACT: ASSURED AUTONOMY USING EXPRESSIVE ASSURANCE CASE