Taoran Wu

According to our database, Taoran Wu authored at least 21 papers between 2019 and 2026.

Collaborative distances:

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

2026

Cost-Aware Adaptive Conformal Inference for Runtime Assurance in Dynamic Environments.

Taoran Wu, Jingduo Pan, Luke Ong, Bai Xue

CoRR, May, 2026

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning.

Jingduo Pan, Taoran Wu, Yiling Xue, Bai Xue

CoRR, May, 2026

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions.

Taoran Wu, Dominik Wagner, C.-H. Luke Ong, Bai Xue

CoRR, March, 2026

PyBDR: Design and usage of a toolkit for set-boundary based reachability analysis.

Taoran Wu, Jianqiang Ding, Zhen Liang, Shankar A. Deka, Bai Xue

Sci. Comput. Program., 2026

Converse barrier certificates for finite-time safety verification of continuous-time perturbed deterministic systems.

Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue

Syst. Control. Lett., 2026

Efficient Verification and Falsification of ReLU Neural Barrier Certificates.

Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems.

Taoran Wu, Dominik Wagner, Jingduo Pan, Luke Ong, Arvind Easwaran, Bai Xue

CoRR, December, 2025

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization.

Taoran Wu, Yiling Xue, Dejin Ren, Arvind Easwaran, Martin Fränzle, Bai Xue

CoRR, June, 2025

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems.

Taoran Wu, Yiling Xue, Jingduo Pan, Dejin Ren, Arvind Easwaran, Bai Xue

CoRR, April, 2025

BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks.

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

Neural Networks, 2025

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

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

Proceedings of the International Joint Conference on Neural Networks, 2025

2024

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

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

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