Taoran Wu

According to our database, Taoran Wu authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2024

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu

CoRR, 2024

2023

Towards robust neural networks via a global and monotonically decreasing robustness training strategy.

Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang

Frontiers Inf. Technol. Electron. Eng., October, 2023

Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.

Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue

CoRR, 2023

Repairing Deep Neural Networks Based on Behavior Imitation.

Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang

CoRR, 2023

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.

Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue

CoRR, 2023

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.

Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2019

A fault-tolerant dynamic scheduling method on hierarchical mobile edge cloud computing.

Shunmei Meng, Qianmu Li, Taoran Wu, Weijia Huang, Jing Zhang, Weimin Li

Comput. Intell., 2019