@misc{indiciae3bb8995cd332,
  title = {Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)},
  author = {Chiao Hsieh and Masaki Waga and Kohei Suenaga},
  year = {2025},
  doi = {10.1145/3716863.3718047},
  url = {https://arxiv.org/abs/2503.00431},
  note = {Source identifier: 2503.00431}
}