conftrace_

nonlinear system dynamics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

jacobian (1) relu-based neural cbfs (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