conftrace_

piecewise-linear verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural control barrier function (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