conftrace_

safe region enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safe region (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