FROM PROACTIVE TO AUTONOMOUS: DYNAMIC ASSURANCE IN CPS VIA FORMAL-FUZZ INTERACTIONS AND POSTERIOR FORMAL VERIFICATION
$216,000FY2025Department of the ArmyDOD
The Trustees Of The Stevens Institute Of Technology, Hoboken NJ
The Trustees Of The Stevens Institute Of Technology, Hoboken NJ