CHASE.AI: COMPOSITIONAL AND HIERARCHICAL VERIFICATION AND SYNTHESIS OF SYSTEMS ENABLED BY ARTIFICIAL INTELLIGENCE
$896,371FY2020Defense Contract Management AgencyDOD
University Of Southern California, Los Angeles CA
University Of Southern California, Los Angeles CA