Taoran Wu

23 papers A* 1B 1C 2Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Converse barrier certificates for finite-time safety verification of continuous-time perturbed deterministic systems.
Syst. Control. Lett.
Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
2026 A* conf
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
AAAI
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2026 J jnl
PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions.
CoRR
Taoran Wu, Dominik Wagner, C.-H. Luke Ong, Bai Xue
2025 J jnl
BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks.
Neural Networks
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Wanrong Huang
2025 J jnl
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization.
CoRR
Taoran Wu, Yiling Xue, Dejin Ren, Arvind Easwaran, Martin Fränzle, Bai Xue
2025 J jnl
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems.
CoRR
Taoran Wu, Yiling Xue, Jingduo Pan, Dejin Ren, Arvind Easwaran, Bai Xue
2025 J jnl
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
CoRR
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2025 J jnl
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems.
CoRR
Taoran Wu, Dominik Wagner, Jingduo Pan, Luke Ong, Arvind Easwaran, Bai Xue
2025 B conf
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
IJCNN
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024 J jnl
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems.
CoRR
Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
2024 C conf
An Iterative Method for Computing Controlled Reach-Avoid Sets.
ACC
Dejin Ren, Taoran Wu, Bai Xue
2024 J jnl
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems.
CoRR
Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
2024 — conf
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.
CAV (3)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 J jnl
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis.
CoRR
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 — conf
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python.
FM (2)
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2024 C conf
Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.
ACC
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2024 J jnl
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
CoRR
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2023 J jnl
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.
CoRR
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
2023 J jnl
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.
CoRR
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2023 J jnl
Repairing Deep Neural Networks Based on Behavior Imitation.
CoRR
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
2023 — conf
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.
CDC
Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
2023 J jnl
Towards robust neural networks via a global and monotonically decreasing robustness training strategy.
Frontiers Inf. Technol. Electron. Eng.
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2019 J jnl
A fault-tolerant dynamic scheduling method on hierarchical mobile edge cloud computing.
Comput. Intell.
Shunmei Meng, Qianmu Li, Taoran Wu, Weijia Huang, Jing Zhang, Weimin Li