%0 Conference Paper %1 conf/l4dc/ZhangXQF23 %A Zhang, Songyuan %A Xiu, Yumeng %A Qu, Guannan %A Fan, Chuchu %B L4DC %D 2023 %E Matni, Nikolai %E Morari, Manfred %E Pappas, George J. %I PMLR %K dblp %P 272-285 %T Compositional Neural Certificates for Networked Dynamical Systems. %U http://dblp.uni-trier.de/db/conf/l4dc/l4dc2023.html#ZhangXQF23 %V 211

@inproceedings{conf/l4dc/ZhangXQF23, added-at = {2023-06-16T00:00:00.000+0200}, author = {Zhang, Songyuan and Xiu, Yumeng and Qu, Guannan and Fan, Chuchu}, biburl = {https://www.bibsonomy.org/bibtex/2144787a8711a32fc1a4556412801dd52/dblp}, booktitle = {L4DC}, crossref = {conf/l4dc/2023}, editor = {Matni, Nikolai and Morari, Manfred and Pappas, George J.}, ee = {https://proceedings.mlr.press/v211/zhang23a.html}, interhash = {45d9259df07a3e9eec958eaed648cee0}, intrahash = {144787a8711a32fc1a4556412801dd52}, keywords = {dblp}, pages = {272-285}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-10T01:28:14.000+0200}, title = {Compositional Neural Certificates for Networked Dynamical Systems.}, url = {http://dblp.uni-trier.de/db/conf/l4dc/l4dc2023.html#ZhangXQF23}, volume = 211, year = 2023 }