1 paper
Yonghan Li, Chenyu Wu, Taoran Wu +2
In this paper, we investigate the problem of verifying the finite-time safety of continuous-time perturbed deterministic systems represented by ordinary differential equations in t…