@misc{indiciaeb4e6e886cc71,
  title = {A constrained symbolic regression approach for Lyapunov function discovery},
  author = {Ilias Mitrai and Wentao Tang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.10045},
  note = {Source identifier: 2606.10045}
}