conftrace_

counterexample guidance

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

polynomial lyapunov function (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