Skip to content
conftrace_

safety-critical application

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

adversarial robustness (3) neural network (2) gaussian process (2) formal verification (2) uncertainty quantification (2) prediction range (1) learning-based control (1) safe exploration (1) safe learning (1) certifiable robustness (1)

Papers

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction UAI 2025 Robust Transfer of Safety-Constrained Reinforcement Learning Agents ICLR 2025 Safety Representations for Safer Policy Learning ICLR 2025 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022 CC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks AAAI 2022 Gaussian Process Uniform Error Bounds with Unknown Hyperparameters for Safety-Critical Applications ICML 2022 PointGuard: Provably Robust 3D Point Cloud Classification CVPR 2021 Sample-Specific Output Constraints for Neural Networks AAAI 2021 Verification and Repair of Neural Networks AAAI 2021