Federal award (DEFINITIVE CONTRACT, fiscal year 2022)
Recipient: REGENTS OF THE UNIVERSITY OF CALIFORNIA, THE
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2023-06-30 to 2027-08-30
Current total value of award: $5398530
Description: PROVABLY CORRECT DESIGN OF ADAPTIVE HYBRID NEURO-SYMBOLIC CYBER PHYSICAL SYSTEMS