conftrace_

neural control barrier function

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

piecewise-linear verification (1) jacobian (1) nonlinear system dynamics (1) relu-based neural cbfs (1) symbolic derivative bounds propagation (1) verification framework (1) relu neural network (1) autonomous system (1) safety verification (1)

Papers

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NeurIPS 2024 Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation CoRL 2024