A fault-tolerant dynamic scheduling method on hierarchical mobile edge cloud computing. - Shunmei Meng; Qianmu Li; Taoran Wu; Weijia Huang; Jing Zhang 015; Weimin Li (Comput. Intell., 2019)

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. - Yiqing Yu; Taoran Wu; Bican Xia; Ji Wang 001; Bai Xue 001 (CDC, 2023)

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. - Jianqiang Ding; Taoran Wu; Yuping Qian; Lijun Zhang 001; Bai Xue 001 (CoRR, 2023)

Repairing Deep Neural Networks Based on Behavior Imitation. - Zhen Liang; Taoran Wu; Changyuan Zhao; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Ji Wang 001 (CoRR, 2023)

Towards robust neural networks via a global and monotonically decreasing robustness training strategy. - Zhen Liang; Taoran Wu; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Ji Wang 001; Zhengbin Pang (Frontiers Inf. Technol. Electron. Eng., 2023)

An Iterative Method for Computing Controlled Reach-Avoid Sets. - Dejin Ren; Taoran Wu; Bai Xue 001 (ACC, 2024)

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties. - Taoran Wu; Dejin Ren; Shuyuan Zhang; Lei Wang 055; Bai Xue 001 (ACC, 2024)

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. - Dejin Ren; Zhen Liang; Chenyu Wu; Jianqiang Ding; Taoran Wu; Bai Xue 001 (CAV (3), 2024)

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. - Jianqiang Ding; Taoran Wu; Zhen Liang; Bai Xue 001 (FM (2), 2024)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works! - Zhen Liang; Taoran Wu; Ran Zhao; Bai Xue 001; Ji Wang 001; Wenjing Yang 002; Shaojun Deng; Wanwei Liu (CoRR, 2024)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems. - Yonghan Li; Chenyu Wu; Taoran Wu; Shijie Wang; Bai Xue 001 (CoRR, 2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. - Taoran Wu; Yiqing Yu; Bican Xia; Ji Wang 001; Bai Xue 001 (CoRR, 2024)