Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan. Compositional Neural Certificates for Networked Dynamical Systems. In Nikolai Matni, Manfred Morari, George J. Pappas, editors, Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Volume 211 of Proceedings of Machine Learning Research, pages 272-285, PMLR, 2023. [doi]
Abstract is missing.