conftrace_

statistical verification

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

continuous-depth model (1) robot safety (1) model predictive shielding (1) statistical model predictive shielding (1) backup policy (1) sampling-based verification (1) robotics safety (1) neural network (1) probabilistic verification (1) reachability analysis (1)

Papers

GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 Safe Reinforcement Learning via Statistical Model Predictive Shielding RSS 2021 Statistical Guarantees for the Robustness of Bayesian Neural Networks IJCAI 2019