@misc{indiciae979feabf36c6,
  title = {Formally Verified Physics-Informed Neural Control Lyapunov Functions},
  author = {Jun Liu and Maxwell Fitzsimmons and Ruikun Zhou and Yiming Meng},
  year = {2024},
  doi = {10.23919/acc63710.2025.11107648},
  url = {https://arxiv.org/abs/2409.20528},
  note = {Source identifier: 2409.20528}
}