Cheng-Chao Huang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Safety Analysis

Markov Decision Process

Top Venues

Publications

Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. ICSE (2024)
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR (2024)
Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. ICCV (2023)
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR (2023)
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. 180 (2023)
Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. CoRR (2023)
Cheng-Chao Huang
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. ISSAC (2022)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. ICSE (2022)
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR (2022)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Cheng-Chao Huang
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. CoRR (2021)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR (2021)
Ming Xu, Cheng-Chao Huang, Yuan Feng
Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58 (6) (2021)
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. CoRR (2021)
Wei-Peng Cao, Sheng-Dong Li, Cheng-Chao Huang, Yu-Hao Wu, Qiang Wang, Da-Chuan Li, Ye Liu
An Ensemble Fuzziness-Based Online Sequential Learning Approach and Its Application. KSEM (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. SETTA (2020)
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE (2020)
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
A Conflict-Driven Solving Procedure for Poly-Power Constraints. J. Autom. Reason. 64 (1) (2020)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR (2020)
Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li
Positive root isolation for poly-powers by exclusion and differentiation. J. Symb. Comput. 85 (2018)
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609 (2016)
Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie
Influence Spread Evaluation and Propagation Rebuilding. ICONIP (2) (2016)
Jing-Cao Li, Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
Positive Root Isolation for Poly-Powers. ISSAC (2016)