Reach-Avoid Analysis for Delay Differential Equations. - Bai Xue 001; Yunjun Bai; Naijun Zhan; Wenyou Liu; Li Jiao (CDC, 2021)

Safety guarantee for time-delay systems with disturbances. - Wenyou Liu; Yunjun Bai; Li Jiao; Naijun Zhan (Sci. China Inf. Sci., 2023)