TY  - RPRT
TI  - Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
AU  - Junyue Huang
AU  - Shaoyuan Li
AU  - Xiang Yin
PY  - 2026
UR  - https://arxiv.org/abs/2601.00587
ID  - 2601.00587
ER  -