conftrace_

safe control set

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

barrier certificate (1) control system (1) safe weight set (1) control barrier certificate (1) nonlinear system (1) bayesian neural network (1) robust control (1) safety verification (1) polynomial optimization (1) nonlinear control (1)

Papers

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023