Skip to content
conftrace_

polynomial lyapunov function

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

counterexample guidance (1) control system (1) neural network (1) sum of square (1) polynomial network (1) linear matrix inequality (1) lyapunov function (1) stability analysis (1)

Papers

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025