Adaptive SOS Lyapunov Certificate Ladder — reference implementation

Runnable experiment code, benchmark implementation, machine-readable results and reports for this SynthCore idea.

Language: Python · Runtime: Python 3 · License: MIT

Public artifacts

• report.md — 1.6 KB
• results.json — 1.4 KB
• sos_ladder.py — 4.4 KB

⬇ Download complete ZIP