@article{compositionalneuralcertificatesfor,
  title = {Compositional Neural Certificates for Networked Dynamical Systems},
  author = {Songyuan Zhang and Yumeng Xiu and Guannan Qu and Chuchu Fan},
  year = {2023},
  eprint = {2303.14564},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.14564v3},
}