conftrace_

symbolic derivative bounds propagation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

jacobian (1) nonlinear system dynamics (1) relu-based neural cbfs (1) verification framework (1) neural control barrier function (1)

Papers

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