conftrace_

lyapunov-stable

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

training-aware verification (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