@misc{indiciaecc7068a8b00d,
  title = {Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification},
  author = {Jun Liu and Yiming Meng and Maxwell Fitzsimmons and Ruikun Zhou},
  year = {2025},
  doi = {10.1016/j.automatica.2025.112193},
  url = {https://arxiv.org/abs/2312.09131},
  note = {Source identifier: 2312.09131}
}