Yuhao Zhang

According to our database, Yuhao Zhang authored at least 14 papers between 2018 and 2024.

Collaborative distances:

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

2024

Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency.

Yuhao Zhang, Hang Zhang, Xiangru Xu

IEEE Control. Syst. Lett., 2024

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models.

Hang Zhang, Yuhao Zhang, Xiangru Xu

Proceedings of the American Control Conference, 2024

2023

Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.

Yuhao Zhang, Hang Zhang, Xiangru Xu

IEEE Control. Syst. Lett., 2023

Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties.

Yuhao Zhang, Xiangru Xu

CoRR, 2023

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models.

Hang Zhang, Yuhao Zhang, Xiangru Xu

CoRR, 2023

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.

Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes.

Yuhao Zhang, Xiangru Xu

Proceedings of the American Control Conference, 2023

2022

Overwatch: learning patterns in code edit sequences.

Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2022

Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.

Yuhao Zhang, Xiangru Xu

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties.

Yuhao Zhang, Sequoyah Walters, Xiangru Xu

Proceedings of the American Control Conference, 2022

2020

Finding Trajectories with High Asymptotic Growth Rate for Linear Constrained Switching Systems via a Lift Approach.

Yuhao Zhang, Xiangru Xu

CoRR, 2020

Detecting numerical bugs in neural network architectures.

Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2018

MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks.

Siwakorn Srisakaokul, Zexuan Zhong, Yuhao Zhang, Wei Yang, Tao Xie

CoRR, 2018

An empirical study on TensorFlow program bugs.

Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018