conftrace_

verification framework

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

jacobian (1) nonlinear system dynamics (1) relu-based neural cbfs (1) symbolic derivative bounds propagation (1) neural control barrier function (1)

Papers

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