conftrace_

safe weight set

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

barrier certificate (1) control system (1) safe control 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