conftrace_

training-aware verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

lyapunov-stable (1) certified bound (1) region of attraction (1) neural control (1) branch and bound (1)

Papers

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control L4DC 2026