Skip to content
conftrace_

barrier certificate

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

safety verification (3) safe reinforcement learning (2) formal verification (2) control system (1) safe weight set (1) scenario convex program (1) safe control set (1) zero-violation learning (1) neural network (1) large language model (1)

Papers

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems L4DC 2026 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022 Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations NeurIPS 2021 Model-free Safe Control for Zero-Violation Reinforcement Learning CoRL 2021