TY  - RPRT
TI  - Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
AU  - Yiming Meng
AU  - Jun Liu
PY  - 2025
UR  - https://arxiv.org/abs/2511.09523
ID  - 2511.09523
ER  -