Skip to content
conftrace_

control verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

robust control theory (1) policy verification (1) positively invariant set (1) neural network policy (1) control constraint (1) closed-loop system (1) neural network certification (1) control policy (1) robust control (1) neural network verification (1)

Papers

Neural Network Control Policy Verification With Persistent Adversarial Perturbation ICML 2020