%0 Journal Article %1 journals/corr/abs-2403-10007 %A Liu, Jun %A Meng, Yiming %A Fitzsimmons, Maxwell %A Zhou, Ruikun %D 2024 %J CoRR %K dblp %T Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-10007 %V abs/2403.10007

@article{journals/corr/abs-2403-10007, added-at = {2024-04-05T00:00:00.000+0200}, author = {Liu, Jun and Meng, Yiming and Fitzsimmons, Maxwell and Zhou, Ruikun}, biburl = {https://www.bibsonomy.org/bibtex/2dde7405e7438e00d9ecd79eeb7e52886/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.10007}, interhash = {6e0988391fb4f9b0069d710dfb8e3a3d}, intrahash = {dde7405e7438e00d9ecd79eeb7e52886}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:33:18.000+0200}, title = {Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-10007}, volume = {abs/2403.10007}, year = 2024 }