conftrace_

neural network verifier

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

spatial robustness (1) invariant subspace (1) forward invariant polytope (1) spatial transformation (1) closed-loop control (1) interval analysis (1) neural network controller (1) neural network verification (1) robustness certification (1) adversarial attack (1)

Papers

Certified Robust Invariant Polytope Training in Neural Controlled ODEs L4DC 2026 Efficient Certification of Spatial Robustness AAAI 2021