@misc{indiciae23852c1dd857,
  title = {Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems},
  author = {Jingyuan Zhou and Haoze Wu and Haokun Yu and Kaidi Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2509.10118},
  note = {Source identifier: 2509.10118}
}