Yuhao Zhang

24 papers A* 1A 1C 4Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes.
CoRR
Yuhao Zhang, Xiangru Xu
2025 C conf
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes.
ACC
Yuhao Zhang, Xiangru Xu
2025 J jnl
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes.
CoRR
Yuhao Zhang, Xiangru Xu
2025 J jnl
Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability.
IEEE Control. Syst. Lett.
Hang Zhang, Abigail J. Winn, Yuhao Zhang, Xiangru Xu
2025 J jnl
Robust stability of neural network control systems with interval matrix uncertainties.
Autom.
Yuhao Zhang, Xiangru Xu
2024 C conf
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models.
ACC
Hang Zhang, Yuhao Zhang, Xiangru Xu
2024 J jnl
Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency.
IEEE Control. Syst. Lett.
Yuhao Zhang, Hang Zhang, Xiangru Xu
2023 J jnl
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.
CoRR
Yuhao Zhang, Hang Zhang, Xiangru Xu
2023 J jnl
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.
IEEE Control. Syst. Lett.
Yuhao Zhang, Hang Zhang, Xiangru Xu
2023 J jnl
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models.
CoRR
Hang Zhang, Yuhao Zhang, Xiangru Xu
2023 C conf
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes.
ACC
Yuhao Zhang, Xiangru Xu
2023 A* conf
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.
ICSE
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023 J jnl
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.
CoRR
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
2023 J jnl
Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties.
CoRR
Yuhao Zhang, Xiangru Xu
2022 C conf
Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties.
ACC
Yuhao Zhang, Sequoyah Walters, Xiangru Xu
2022 J jnl
Overwatch: Learning Patterns in Code Edit Sequences.
CoRR
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 J jnl
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang.
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 — conf
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.
CDC
Yuhao Zhang, Xiangru Xu
2022 J jnl
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.
CoRR
Yuhao Zhang, Xiangru Xu
2021 J jnl
Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties.
CoRR
Yuhao Zhang, Sequoyah Walters, Xiangru Xu
2020 — conf
Detecting numerical bugs in neural network architectures.
ESEC/SIGSOFT FSE
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
2020 J jnl
Finding Trajectories with High Asymptotic Growth Rate for Linear Constrained Switching Systems via a Lift Approach.
CoRR
Yuhao Zhang, Xiangru Xu
2018 A conf
An empirical study on TensorFlow program bugs.
ISSTA
Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang
2018 J jnl
MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks.
CoRR
Siwakorn Srisakaokul, Zexuan Zhong, Yuhao Zhang, Wei Yang, Tao Xie