TY  - RPRT
TI  - Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
AU  - Jun Liu
AU  - Yiming Meng
AU  - Maxwell Fitzsimmons
AU  - Ruikun Zhou
PY  - 2025
DO  - 10.1016/j.automatica.2025.112193
UR  - https://arxiv.org/abs/2312.09131
ID  - 2312.09131
ER  -