conftrace_

empirical falsification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

lyapunov (1) linear bound propagation (1) neural network (1) region of attraction (1) branch and bound (1)

Papers

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024