Search Results for author: Renjue Li

Found 6 papers, 4 papers with code

Safety Analysis of Autonomous Driving Systems Based on Model Learning

no code implementations23 Nov 2022 Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

The safety properties proved in the resulting surrogate model apply to the original ADS with a probabilistic guarantee.

Autonomous Driving

Towards Good Practices in Evaluating Transfer Adversarial Attacks

1 code implementation17 Nov 2022 Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes

In this work, we design good practices to address these limitations, and we present the first comprehensive evaluation of transfer attacks, covering 23 representative attacks against 9 defenses on ImageNet.

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness

no code implementations5 Jun 2021 Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang

In this paper, we propose a framework of filter-based ensemble of deep neuralnetworks (DNNs) to defend against adversarial attacks.

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning

1 code implementation25 Jan 2021 Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang

It is shown that DeepPAC outperforms the state-of-the-art statistical method PROVERO, and it achieves more practical robustness analysis than the formal verification tool ERAN.

Adversarial Attack DNN Testing

Improving Neural Network Verification through Spurious Region Guided Refinement

1 code implementation15 Oct 2020 Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

The core idea is to make use of the obtained constraints of the abstraction to infer new bounds for the neurons.

Cannot find the paper you are looking for? You can Submit a new open access paper.