TY  - RPRT
TI  - Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
AU  - Chengxiao Wang
AU  - Haoze Wu
AU  - Gagandeep Singh
PY  - 2026
UR  - https://arxiv.org/abs/2602.05311
ID  - 2602.05311
ER  -