TY  - RPRT
TI  - Formally Verified Physics-Informed Neural Control Lyapunov Functions
AU  - Jun Liu
AU  - Maxwell Fitzsimmons
AU  - Ruikun Zhou
AU  - Yiming Meng
PY  - 2024
DO  - 10.23919/acc63710.2025.11107648
UR  - https://arxiv.org/abs/2409.20528
ID  - 2409.20528
ER  -