/neuriss-website

Official website of our L4DC 2023 paper: S Zhang, Y Xiu, G Qu, C Fan: "Compositional Neural Certificates for Networked Dynamical Systems"

Primary LanguageJavaScript

No issues in this repository yet.