@misc{indiciaec6e9a8a83161,
  title = {Compositional Neural Certificates for Networked Dynamical Systems},
  author = {Songyuan Zhang and Yumeng Xiu and Guannan Qu and Chuchu Fan},
  year = {2023},
  url = {https://arxiv.org/abs/2303.14564},
  note = {Source identifier: 2303.14564}
}