no code implementations • 27 Feb 2024 • Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
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 the presence of measurable disturbances.