FROM DISCRETE TO CONTINUOUS-TIME VERIFICATION FOR PROBABILISTIC HYBRID SYSTEMS

$676,783FY2023Department of the NavyDOD

Cornell University, Ithaca NY

Investigators

FROM DISCRETE TO CONTINUOUS-TIME VERIFICATION FOR PROBABILISTIC HYBRID SYSTEMS · GrantIndex