safety security
A Grid Controller Got a Finite-Sample Safety Certificate
Exact binomial inference bounded unsafe-operation probability for 1,000-agent black-box controllers.
Summary
Exact binomial inference bounded unsafe-operation probability for 1,000-agent black-box controllers.
A proposed certification framework reduces a complete input-controller-grid simulation to a binary unsafe outcome, then uses held-out scenarios and exact binomial inference to bound unsafe-operation probability. Case studies with 1,000-agent grid-edge controllers verified the finite-sample guarantee and added physically interpretable adversarial tests. The certificate applies to the calibration distribution and operator-defined specification, not every future grid condition.
Why it matters
Exact binomial inference bounded unsafe-operation probability for 1,000-agent black-box controllers.
Limits and context
- The certificate applies to the calibration distribution and operator-defined specification, not every future grid condition.
Key claims
Exact binomial inference bounded unsafe-operation probability for 1,000-agent black-box controllers.
Qualification: The certificate applies to the calibration distribution and operator-defined specification, not every future grid condition.
Evidence: source-2026-09-24-015
Sources
- arXiv preprint 2609.28182arXiv · primary research
Corrections
No corrections have been recorded for this story.