conftrace_

safety certification

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reproducing kernel hilbert space (2) optimal control (2) formal verification (2) bounded support noise (1) linear bound propagation (1) stochastic barrier function (1) reach-avoid probability (1) control policy synthesis (1) reach-avoid control (1) safe certification (1)

Papers

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026 Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification AAAI 2025 PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks AAAI 2025 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions NeurIPS 2022 Certification of iterative predictions in Bayesian neural networks UAI 2021 Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning RSS 2021