conftrace_

relu-based neural cbfs

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

jacobian (1) nonlinear system dynamics (1) symbolic derivative bounds propagation (1) verification framework (1) neural control barrier function (1)

Papers

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation CoRL 2024