@misc{indiciae2904fb7ef778,
  title = {Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions},
  author = {Junyue Huang and Shaoyuan Li and Xiang Yin},
  year = {2026},
  url = {https://arxiv.org/abs/2601.00587},
  note = {Source identifier: 2601.00587}
}