TY  - RPRT
TI  - Compositional Neural Certificates for Networked Dynamical Systems
AU  - Songyuan Zhang
AU  - Yumeng Xiu
AU  - Guannan Qu
AU  - Chuchu Fan
PY  - 2023
UR  - https://arxiv.org/abs/2303.14564
ID  - 2303.14564
ER  -