Skip to content
conftrace_

positively invariant set

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

policy verification (1) control verification (1) robust control theory (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