SCALABLE VERIFICATION OF AUTONOMOUS SYSTEMS USING GRAY-BOX REACHABILITY APPROVED FOR PUBLIC RELEASE
$349,606FY2022Department of the NavyDOD
The Research Foundation For The State University Of New York
The Research Foundation For The State University Of New York