Taoran Wu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Global Image Statistics

Timed Petri Nets

Dynamical Systems

Top Venues

Comput. Intell.

Publications

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. CAV (3) (2024)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis. CoRR (2024)
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR (2024)
Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR (2024)
Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems. CoRR (2024)
Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC (2023)
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR (2023)
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. CoRR (2023)
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24 (10) (2023)
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties. CoRR (2023)
Shunmei Meng, Qianmu Li, Taoran Wu, Weijia Huang, Jing Zhang, Weimin Li
A fault-tolerant dynamic scheduling method on hierarchical mobile edge cloud computing. Comput. Intell. 35 (3) (2019)