Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization

Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization

Show other versions (1)
Bibliographic Details
Main Authors: Shen, Shen, Tedrake, Russ
Format: Article
Language:English
Published: IEEE 2021
Online Access:https://hdl.handle.net/1721.1/137114

Internet

https://hdl.handle.net/1721.1/137114

Similar Items