Taoran Wu

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

Collaborative distances:

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

2024

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems.

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

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

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

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python.

Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue

Proceedings of the Formal Methods - 26th International Symposium, 2024

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.

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

Proceedings of the American Control Conference, 2024

An Iterative Method for Computing Controlled Reach-Avoid Sets.

Dejin Ren, Taoran Wu, Bai Xue

Proceedings of the American Control Conference, 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

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