conftrace_

certified bound

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

adversarial attack (3) adversarial robustness (3) neural network (2) adversarial example (2) robustness certification (2) statistical feature (1) policy smoothing (1) robustness quantification (1) reward lower bound (1) lyapunov-stable (1)

Papers

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control L4DC 2026 Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features (Extended Abstract) IJCAI 2023 Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning AAAI 2023 Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation AAAI 2021 Certified Adversarial Robustness with Additive Noise NeurIPS 2019 On Certifying Non-Uniform Bounds against Adversarial Attacks ICML 2019 POPQORN: Quantifying Robustness of Recurrent Neural Networks ICML 2019