TY  - RPRT
TI  - Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
AU  - Chiao Hsieh
AU  - Masaki Waga
AU  - Kohei Suenaga
PY  - 2025
DO  - 10.1145/3716863.3718047
UR  - https://arxiv.org/abs/2503.00431
ID  - 2503.00431
ER  -