Preprint
Oct 2026
Controller-Agnostic Runtime Safety Certificates for Tool-Using AI Agents via Data-Driven Robust Reachability
A runtime filter is proposed between any such controller and its environment that certifies a bound on the probability of reaching an unsafe condition during a bounded task.
A. Baheri, Peng Wei
· 0 citations