conftrace_

control barrier certificate

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

nonlinear system (2) formal verification (2) kolmogorov-arnold network (1) neural network controller (1) data-driven control (1) barrier certificate (1) control system (1) safe weight set (1) satisfiability modulo theories (1) safety certification (1)

Papers

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates L4DC 2022