conftrace_

safe region

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safe region enumeration (1) reachable set analysis (1) reachable set (1) probabilistic guarantee (1) neural network verification (1) formal verification (1) adversarial robustness (1)

Papers

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024