Zhilu Wang

Design-while-verify

2022

In the current control design of safety-critical cyber-physical systems, formal verification techniques are typically applied after the controller is designed to evaluate whether the required properties (e.g., safety) are satisfied. However, due to the increasing …

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding

2022 · arXiv (Cornell University)

The robustness of deep neural networks has received significant interest recently, especially when being deployed in safety-critical systems, as it is important to analyze how sensitive the model output is under input perturbations. While most …